Martin's axiom and $\Delta^2_1$ well-ordering of the reals

&
Archive for Mathematical Logic 35 (5-6):287-298 (1996)
  Copy   BIBTEX

Abstract

Assuming an inaccessible cardinal $\kappa$ , there is a generic extension in which $MA + 2^{\aleph_0} = \kappa$ holds and the reals have a $\Delta^2_1$ well-ordering

Categories

Keywords

Reprint years

DOI

10.1007/s001530050046

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,497

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

Coding with ladders a well ordering of the reals.Uri Abraham & Saharon Shelah - 2002 - Journal of Symbolic Logic 67 (2):579-597.
Relative Randomness and Cardinality.George Barmpalias - 2010 - Notre Dame Journal of Formal Logic 51 (2):195-205.
The Independence of $delta^1_n$.Amir Leshem & Menachem Magidor - 1999 - Journal of Symbolic Logic 64 (1):350-362.
From a well-ordering of the reals it is easy (by a diagonal argument) to produce a non-determined set of reals. However, large cardinal axioms imply that all sets of reals in L (R), and more, are determined. See, for example, Neeman's papers Optimalproofs of determinacy.Andrzej S. Murawski - 1995 - Bulletin of Symbolic Logic 1:327-339.
Martin's axioms, measurability and equiconsistency results.Jaime I. Ihoda & Saharon Shelah - 1989 - Journal of Symbolic Logic 54 (1):78-94.
BPFA and projective well-orderings of the reals.Andrés Eduardo Caicedo & Sy-David Friedman - 2011 - Journal of Symbolic Logic 76 (4):1126-1136.
Recursive Approximability of Real Numbers.Xizhong Zheng - 2002 - Mathematical Logic Quarterly 48 (S1):131-156.
Cohen reals from small forcings.Janusz Pawlikowski - 2001 - Journal of Symbolic Logic 66 (1):318-324.
Building iteration trees.Alessandro Andretta - 1991 - Journal of Symbolic Logic 56 (4):1369-1384.
Universal sets for pointsets properly on the n th level of the projective hierarchy.Greg Hjorth, Leigh Humphries & Arnold W. Miller - 2013 - Journal of Symbolic Logic 78 (1):237-244.
Proper forcing, cardinal arithmetic, and uncountable linear orders.Justin Tatch Moore - 2005 - Bulletin of Symbolic Logic 11 (1):51-60.
Possible behaviours of the reflection ordering of stationary sets.Jiří Witzany - 1995 - Journal of Symbolic Logic 60 (2):534-547.
A characterization of Martin's axiom in terms of absoluteness.Joan Bagaria - 1997 - Journal of Symbolic Logic 62 (2):366-372.
On a problem of Woodin.Arthur W. Apter - 2000 - Archive for Mathematical Logic 39 (4):253-259.
The model of set theory generated by countably many generic reals.Andreas Blass - 1981 - Journal of Symbolic Logic 46 (4):732-752.

Analytics

Added to PP
2013-11-23

Downloads
33 (#488,740)

6 months
8 (#373,162)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Coding with ladders a well ordering of the reals.Uri Abraham & Saharon Shelah - 2002 - Journal of Symbolic Logic 67 (2):579-597.

Add more citations

References found in this work

No references found.

Add more references