Fragments of Martin's axiom and δ13 sets of reals

Annals of Pure and Applied Logic 69 (1):1-25 (1994)
  Copy   BIBTEX

Abstract

We strengthen a result of Harrington and Shelah by showing that, unless ω1 is an inaccessible cardinal in L, a relatively weak fragment of Martin's axiom implies that there exists a δ13 set of reals without the property of Baire

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(94)90017-5

Links

PhilArchive



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

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

Fragments of Martin's axiom and δ< sup> 1< sub> 3 sets of reals.Joan Bagaria - 1994 - Annals of Pure and Applied Logic 69 (1):1-25.
Some weak fragments of Martin’s axiom related to the rectangle refining property.Teruyuki Yorioka - 2008 - Archive for Mathematical Logic 47 (1):79-90.
Turing cones and set theory of the reals.Benedikt Löwe - 2001 - Archive for Mathematical Logic 40 (8):651-664.
Powers of 2.Kyriakos Keremedis & Horst Herrlich - 1999 - Notre Dame Journal of Formal Logic 40 (3):346-351.
▵13-sets of reals.Haim Judah & Saharon Shelah - 1993 - Journal of Symbolic Logic 58 (1):72 - 80.
Computational randomness and lowness.Sebastiaan A. Terwijn & Domenico Zambella - 2001 - Journal of Symbolic Logic 66 (3):1199-1205.
$triangle^1_3$-Sets of Reals.Haim Judah & Saharon Shelah - 1993 - Journal of Symbolic Logic 58 (1):72-80.
Almost disjoint sets and Martin's axiom.Michael L. Wage - 1979 - Journal of Symbolic Logic 44 (3):313-318.
Martin's axioms, measurability and equiconsistency results.Jaime I. Ihoda & Saharon Shelah - 1989 - Journal of Symbolic Logic 54 (1):78-94.
Exact equiconsistency results for Δ 3 1 -sets of reals.Haim Judah - 1992 - Archive for Mathematical Logic 32 (2):101-112.
A characterization of Martin's axiom in terms of absoluteness.Joan Bagaria - 1997 - Journal of Symbolic Logic 62 (2):366-372.
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.
Strong analogues of Martin's axiom imply axiom R.Robert E. Beaudoin - 1987 - Journal of Symbolic Logic 52 (1):216-218.
The model of set theory generated by countably many generic reals.Andreas Blass - 1981 - Journal of Symbolic Logic 46 (4):732-752.
Are There Enough Injective Sets?Peter Aczel, Benno Berg, Johan Granström & Peter Schuster - 2013 - Studia Logica 101 (3):467-482.

Analytics

Added to PP
2014-01-16

Downloads
19 (#795,462)

6 months
2 (#1,186,462)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

1\ sets of reals.J. Bagaria & W. H. Woodin - 1997 - Journal of Symbolic Logic 62 (4):1379-1428.
Sets of reals.Joan Bagaria & W. Hugh Woodin - 1997 - Journal of Symbolic Logic 62 (4):1379-1428.
Projective forcing.Joan Bagaria & Roger Bosch - 1997 - Annals of Pure and Applied Logic 86 (3):237-266.

View all 9 citations / Add more citations

References found in this work

Internal cohen extensions.D. A. Martin & R. M. Solovay - 1970 - Annals of Mathematical Logic 2 (2):143-178.
Some exact equiconsistency results in set theory.Leo Harrington & Saharon Shelah - 1985 - Notre Dame Journal of Formal Logic 26 (2):178-188.
Internal Cohen extensions.D. A. Martin - 1970 - Annals of Mathematical Logic 2 (2):143.

View all 14 references / Add more references