Access the full text.
Sign up today, get DeepDyve free for 14 days.
R. Laver (1987)
Random reals and Souslin trees, 100
J. Roitman (1979)
Correction to: Adding a random or a Cohen real: topological consequences and the effect on Martin's axiomFundamenta Mathematicae, 129
K. Kunen (1970)
Some applications of iterated ultrapowers in set theoryAnnals of Mathematical Logic, 1
D. Martin, J. Steel (1989)
A proof of projective determinacyJournal of the American Mathematical Society, 2
M. Magidor (1980)
Precipitous ideals and Σ14 setssetsIsrael Journal of Mathematics, 35
J. Raisonnier, J. Stern (1985)
The strength of measurability hypothesesIsrael Journal of Mathematics, 50
T. Bartoszynski (1984)
Additivity of measure implies additivity of categoryTransactions of the American Mathematical Society, 281
D. Martin, R. Solovay (1969)
A Basis Theorem for ∑ 1 3 Sets of RealsAnnals of Mathematics, 89
S. Shelah, H. Woodin (1990)
Large cardinals imply that every reasonably definable set of reals is lebesgue measurableIsrael Journal of Mathematics, 70
Matemáticas (2010)
Set Theory: An Introduction to Independence Proofs
J. Silver (1971)
Measurable Cardinals and Δ 1 3 Well-OrderingsAnnals of Mathematics, 94
Haim Judah, O. Spinas (1995)
On the structure of Δ14-sets of realsArchive for Mathematical Logic, 34
S. Shelah (1984)
Can you take Solovay’s inaccessible away?Israel Journal of Mathematics, 48
Haim Judah, S. Shelah (1993)
Δ1/3-sets of realsJournal of Symbolic Logic, 58
J. Truss (1977)
Sets Having CalibreStudies in logic and the foundations of mathematics, 87
We investigate measure and category in the projective hierarchie in the presence of large cardinals. Assuming a measurable larger than $n$ Woodin cardinals we construct a model where every $\Delta ^1_{n+4}$ -set is measurable, but some $\Delta ^1_{n+4}$ -set does not have Baire property. Moreover, from the same assumption plus a precipitous ideal on $\omega _1$ we show how a model can be forced where every $\Sigma ^1_{n+4}-$ set is measurable and has Baire property.
Archive for Mathematical Logic – Springer Journals
Published: Feb 1, 1997
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.