Forcing lightface definable well-orders without the GCH

, &
Annals of Pure and Applied Logic 166 (5):553-582 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2014.11.010

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,475

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Definable well-orders of $H(\omega _2)$ and $GCH$.David Asperó & Sy-David Friedman - 2012 - Journal of Symbolic Logic 77 (4):1101-1121.
Proper forcing, cardinal arithmetic, and uncountable linear orders.Justin Tatch Moore - 2005 - Bulletin of Symbolic Logic 11 (1):51-60.
Large cardinals and locally defined well-orders of the universe.David Asperó & Sy-David Friedman - 2009 - Annals of Pure and Applied Logic 157 (1):1-15.
Pointwise definable models of set theory.Joel David Hamkins, David Linetsky & Jonas Reitz - 2013 - Journal of Symbolic Logic 78 (1):139-156.
Large cardinals and definable well-orders, without the GCH.Sy-David Friedman & Philipp Lücke - 2015 - Annals of Pure and Applied Logic 166 (3):306-324.
Sweet & sour and other flavours of ccc forcing notions.Andrzej Rosłanowski & Saharon Shelah - 2004 - Archive for Mathematical Logic 43 (5):583-663.
BPFA and projective well-orderings of the reals.Andrés Eduardo Caicedo & Sy-David Friedman - 2011 - Journal of Symbolic Logic 76 (4):1126-1136.
Large cardinals and definable well-orders on the universe.Andrew D. Brooke-Taylor - 2009 - Journal of Symbolic Logic 74 (2):641-654.
Extending Partial Orders on o‐Minimal Structures to Definable Total Orders.Dugald Macpherson & Charles Steinhorn - 1997 - Mathematical Logic Quarterly 43 (4):456-464.
The independence of δ1n.Amir Leshem & Menachem Magidor - 1999 - Journal of Symbolic Logic 64 (1):350 - 362.
Changing cardinal characteristics without changing ω-sequences or cofinalities.Heike Mildenberger & Saharon Shelah - 2000 - Annals of Pure and Applied Logic 106 (1-3):207-261.
The Independence of $delta^1_n$.Amir Leshem & Menachem Magidor - 1999 - Journal of Symbolic Logic 64 (1):350-362.
Indestructibility of Vopěnka’s Principle.Andrew D. Brooke-Taylor - 2011 - Archive for Mathematical Logic 50 (5-6):515-529.
Generalizations of the Kunen inconsistency.Joel David Hamkins, Greg Kirmayer & Norman Lewis Perlmutter - 2012 - Annals of Pure and Applied Logic 163 (12):1872-1890.
Linearization of definable order relations.Vladimir Kanovei - 2000 - Annals of Pure and Applied Logic 102 (1-2):69-100.

Analytics

Added to PP
2015-08-28

Downloads
32 (#494,786)

6 months
5 (#629,992)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David Aspero
University of East Anglia

Citations of this work

Σ1-wellorders without collapsing.Peter Holy - 2015 - Archive for Mathematical Logic 54 (3-4):453-462.

Add more citations

References found in this work

Definable well-orders of $H(\omega _2)$ and $GCH$.David Asperó & Sy-David Friedman - 2012 - Journal of Symbolic Logic 77 (4):1101-1121.
Coding with ladders a well ordering of the reals.Uri Abraham & Saharon Shelah - 2002 - Journal of Symbolic Logic 67 (2):579-597.
Large cardinals and definable well-orders, without the GCH.Sy-David Friedman & Philipp Lücke - 2015 - Annals of Pure and Applied Logic 166 (3):306-324.

Add more references