Coding with ladders a well ordering of the reals

&
Journal of Symbolic Logic 67 (2):579-597 (2002)
  Copy   BIBTEX

Abstract

Any model of ZFC + GCH has a generic extension (made with a poset of size ℵ 2 ) in which the following hold: MA + 2 ℵ 0 = ℵ 2 +there exists a Δ 2 1 -well ordering of the reals. The proof consists in iterating posets designed to change at will the guessing properties of ladder systems on ω 1 . Therefore, the study of such ladders is a main concern of this article

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1190150099

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

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

Generic graph construction.James E. Baumgartner - 1984 - Journal of Symbolic Logic 49 (1):234-240.
The cofinality of cardinal invariants related to measure and category.Tomek Bartoszynski, Jaime I. Ihoda & Saharon Shelah - 1989 - Journal of Symbolic Logic 54 (3):719-726.
Martin's axioms, measurability and equiconsistency results.Jaime I. Ihoda & Saharon Shelah - 1989 - Journal of Symbolic Logic 54 (1):78-94.
A model in which the base-matrix tree cannot have cofinal branches.Peter Lars Dordal - 1987 - Journal of Symbolic Logic 52 (3):651-664.
The Σ 2 1 theory of axioms of symmetry.Galen Weitkamp - 1989 - Journal of Symbolic Logic 54 (3):727-734.
Exact equiconsistency results for Δ 3 1 -sets of reals.Haim Judah - 1992 - Archive for Mathematical Logic 32 (2):101-112.
Martin's axiom and $\Delta^2_1$ well-ordering of the reals.Uri Abraham & Saharon Shelah - 1996 - Archive for Mathematical Logic 35 (5-6):287-298.
On non-wellfounded iterations of the perfect set forcing.Vladimir Kanovei - 1999 - Journal of Symbolic Logic 64 (2):551-574.
Chains and antichains in interval algebras.M. Bekkali - 1994 - Journal of Symbolic Logic 59 (3):860-867.
Trees and Π 1 1 -Subsets of ω1 ω 1.Alan Mekler & Jouko Vaananen - 1993 - Journal of Symbolic Logic 58 (3):1052 - 1070.

Analytics

Added to PP
2009-01-28

Downloads
86 (#192,430)

6 months
7 (#592,867)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Descriptive inner model theory.Grigor Sargsyan - 2013 - Bulletin of Symbolic Logic 19 (1):1-55.
Coding by club-sequences.David Asperó - 2006 - Annals of Pure and Applied Logic 142 (1):98-114.
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.
Martin's axiom and well-ordering of the reals.Uri Abraham & Saharon Shelah - 1996 - Archive for Mathematical Logic 35 (5):287-298.

Add more citations

References found in this work

A Δ22 well-order of the reals and incompactness of L.Uri Abraham & Saharon Shelah - 1993 - Annals of Pure and Applied Logic 59 (1):1-32.
Long projective wellorderings.Leo Harrington - 1977 - Annals of Mathematical Logic 12 (1):1.
Martin's axiom and well-ordering of the reals.Uri Abraham & Saharon Shelah - 1996 - Archive for Mathematical Logic 35 (5):287-298.
Martin's axiom and $\Delta^2_1$ well-ordering of the reals.Uri Abraham & Saharon Shelah - 1996 - Archive for Mathematical Logic 35 (5-6):287-298.

Add more references