Journal of Symbolic Logic 85 (1):166-198 (2020)

We define the notion of a completely determined Borel code in reverse mathematics, and consider the principle $CD - PB$, which states that every completely determined Borel set has the property of Baire. We show that this principle is strictly weaker than $AT{R_0}$. Any ω-model of $CD - PB$ must be closed under hyperarithmetic reduction, but $CD - PB$ is not a theory of hyperarithmetic analysis. We show that whenever $M \subseteq {2^\omega }$ is the second-order part of an ω-model of $CD - PB$, then for every $Z \in M$, there is a $G \in M$ such that G is ${\rm{\Delta }}_1^1$-generic relative to Z.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/jsl.2019.64
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 51,304
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Extending Baire Property by Uncountably Many Sets.Paweł Kawa & Janusz Pawlikowski - 2010 - Journal of Symbolic Logic 75 (3):896-904.
The Dirac Delta Function in Two Settings of Reverse Mathematics.Sam Sanders & Keita Yokoyama - 2012 - Archive for Mathematical Logic 51 (1-2):99-121.
On the Reducibility of Isomorphism Relations.Tapani Hyttinen & Miguel Moreno - 2017 - Mathematical Logic Quarterly 63 (3-4):175-192.
Large Cardinals and Projective Sets.Haim Judah & Otmar Spinas - 1997 - Archive for Mathematical Logic 36 (2):137-155.
On Borel Equivalence Relations in Generalized Baire Space.Sy-David Friedman & Tapani Hyttinen - 2012 - Archive for Mathematical Logic 51 (3-4):299-304.
Making Doughnuts of Cohen Reals.Lorenz Halbeisen - 2003 - Mathematical Logic Quarterly 49 (2):173-178.
Decomposing Baire Functions.J. Cichoń, M. Morayne, J. Pawlikowski & S. Solecki - 1991 - Journal of Symbolic Logic 56 (4):1273 - 1283.
Some Remarks on Baire’s Grand Theorem.Riccardo Camerlo & Jacques Duparc - 2017 - Archive for Mathematical Logic 57 (3-4):195-201.
Measurable Chromatic Numbers.Benjamin D. Miller - 2008 - Journal of Symbolic Logic 73 (4):1139-1157.
Some More Conservation Results on the Baire Category Theorem.Takeshi Yamazaki - 2000 - Mathematical Logic Quarterly 46 (1):105-110.
Dominating Projective Sets in the Baire Space.Otmar Spinas - 1994 - Annals of Pure and Applied Logic 68 (3):327-342.
On the Π1 1 -Separation Principle.Antonio Montalbán - 2008 - Mathematical Logic Quarterly 54 (6):563-578.


Added to PP index

Total views
1 ( #1,417,130 of 2,330,104 )

Recent downloads (6 months)
1 ( #583,587 of 2,330,104 )

How can I increase my downloads?


Sorry, there are not enough data points to plot this chart.

My notes