Definable well-orders of $H(\omega _2)$ and $GCH$

&
Journal of Symbolic Logic 77 (4):1101-1121 (2012)
  Copy   BIBTEX

Abstract

Assuming ${2^{{N_0}}}$ = N₁ and ${2^{{N_1}}}$ = N₂, we build a partial order that forces the existence of a well-order of H(ω₂) lightface definable over ⟨H(ω₂), Є⟩ and that preserves cardinal exponentiation and cofinalities.

Categories

Keywords

Reprint years

DOI

10.2178/jsl.7704030

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,169

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

On the consistency of the definable tree property on ℵ.Amir Leshem - 2000 - Journal of Symbolic Logic 65 (3):1204 - 1214.
The complexity of the core model.William Mitchell - 1998 - Journal of Symbolic Logic 63 (4):1393-1398.
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.
Σ1(κ)-definable subsets of H.Philipp Lücke, Ralf Schindler & Philipp Schlicht - 2017 - Journal of Symbolic Logic 82 (3):1106-1131.
Large cardinals and lightface definable well-orders, without the gch.Sy-David Friedman, Peter Holy & Philipp Lücke - 2015 - Journal of Symbolic Logic 80 (1):251-284.
Proper forcing, cardinal arithmetic, and uncountable linear orders.Justin Tatch Moore - 2005 - Bulletin of Symbolic Logic 11 (1):51-60.
The consistency strength of successive cardinals with the tree property.Matthew Foreman, Menachem Magidor & Ralf-Dieter Schindler - 2001 - Journal of Symbolic Logic 66 (4):1837-1847.
Stationary Subsets of $\lbrack \aleph\omega \rbrack^{<\omegan}$.Kecheng Liu - 1993 - Journal of Symbolic Logic 58 (4):1201 - 1218.
Forcing lightface definable well-orders without the GCH.David Asperó, Peter Holy & Philipp Lücke - 2015 - Annals of Pure and Applied Logic 166 (5):553-582.
The jump operator on the ω-enumeration degrees.Hristo Ganchev & Ivan N. Soskov - 2009 - Annals of Pure and Applied Logic 160 (3):289-301.

Analytics

Added to PP
2012-11-03

Downloads
457 (#69,129)

6 months
19 (#161,561)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

David Aspero
University of East Anglia
Sy-David Friedman

Citations of this work

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.
Forcing lightface definable well-orders without the GCH.David Asperó, Peter Holy & Philipp Lücke - 2015 - Annals of Pure and Applied Logic 166 (5):553-582.

Add more citations

References found in this work

Set mapping reflection.Justin Tatch Moore - 2005 - Journal of Mathematical Logic 5 (1):87-97.
Coding by club-sequences.David Asperó - 2006 - Annals of Pure and Applied Logic 142 (1):98-114.

Add more references