The nonstationary ideal in the ℛmax extension

Paul B. Larson
Source: J. Symbolic Logic Volume 72, Issue 1 (2007), 138-158.

Abstract

The forcing construction ℛmax, invented by W. Hugh Woodin, produces a model whose collection of subsets of ω₁ is in some sense maximal. In this paper we study the Boolean algebra induced by the nonstationary ideal on ω₁ in this model. Among other things we show that the induced quotient does not have a simply definable form. We also prove several results about saturation properties of the ideal in this extension.

First Page:
We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber.
If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text

Permanent link to this document: http://projecteuclid.org/euclid.jsl/1174668389
Digital Object Identifier: doi:10.2178/jsl/1174668389
Mathematical Reviews number (MathSciNet): MR2298476
Zentralblatt MATH identifier: 1128.03044

References

U. Abraham, Proper forcing, Handbook of Set Theory (M. Foreman, A. Kanamori, and M. Magidor, editors), to appear.
D. Asperó and P. Welch, Bounded Martin's Maximum, weak Erdős cardinals and $\psi_AC$, Journal of Symbolic Logic, vol. 67 (2002), no. 3, pp. 1141--1152.
Mathematical Reviews (MathSciNet): MR1926603
Digital Object Identifier: doi:10.2178/jsl/1190150154
Project Euclid: euclid.jsl/1190150154
J. E. Baumgartner, A. Hajnal, and A. Máté, Weak saturation properties of ideals, Infinite and Finite Sets, vol. I (A. Hajnal, R. Rado, and V. T. Sós, editors), North-Holland, Amsterdam, 1975, pp. 137--158.
Mathematical Reviews (MathSciNet): MR369081
Zentralblatt MATH: 0316.02072
M. Foreman, M. Magidor, and S. Shelah, Martin's Maximum. saturated ideals, and non-regular ultrafilters. Part I, Annals of Mathematics, vol. 127 (1988), pp. 1--47.
Mathematical Reviews (MathSciNet): MR924672
Digital Object Identifier: doi:10.2307/1971415
N. Goldring, Woodin cardinals and presaturated ideals, Annals of Pure and Applied Logic, vol. 55 (1992), no. 3, pp. 285--303.
Mathematical Reviews (MathSciNet): MR1153514
Digital Object Identifier: doi:10.1016/0168-0072(92)90039-3
Zentralblatt MATH: 0748.03035
M. Groszek and T. A. Slaman, A basis theorem for perfect sets, Bulletin of Symbolic Logic, vol. 4 (1998), no. 2, pp. 204--209.
Mathematical Reviews (MathSciNet): MR1632148
Digital Object Identifier: doi:10.2307/421023
Project Euclid: euclid.bsl/1182353564
Zentralblatt MATH: 0937.03058
T. Jech, Set Theory, the third millennium edition, revised and expanded ed., Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003.
Mathematical Reviews (MathSciNet): MR1940513
Zentralblatt MATH: 1007.03002
R. M. Jensen, R. B. Solovay, Some applications of almost disjoint sets, Mathematical Logic and Foundations of Set Theory (Proceedings of the International Colloquium, Jerusalem, 1968), North-Holland, Amsterdam, 1970, pp. 84--104.
Mathematical Reviews (MathSciNet): MR289291
Zentralblatt MATH: 0222.02077
A. Kanamori, The higher infinite. Large cardinals in set theory from their beginnings, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1994.
Mathematical Reviews (MathSciNet): MR1321144
Zentralblatt MATH: 0813.03034
P. Larson, A uniqueness theorem for iterations, Journal of Symbolic Logic, vol. 67 (2002), no. 4, pp. 1344--1350.
Mathematical Reviews (MathSciNet): MR1955241
Digital Object Identifier: doi:10.2178/jsl/1190150288
Project Euclid: euclid.jsl/1190150288
Zentralblatt MATH: 1042.03036
--------, The stationary tower. Notes on a course by W. Hugh Woodin, American Mathematical Society University Lecture Series, vol. 32, 2004.
Mathematical Reviews (MathSciNet): MR2069032
Zentralblatt MATH: 1072.03031
--------, The canonical function game, Archive for Mathematical Logic, vol. 44 (2005), no. 7, pp. 581--595.
Mathematical Reviews (MathSciNet): MR2192156
Digital Object Identifier: doi:10.1007/s00153-004-0270-y
Zentralblatt MATH: 1076.03031
--------, Forcing over models of determinacy, Handbook of Set Theory (M. Foreman, A. Kanamori, and M. Magidor, editors), to appear.
--------, Reals constructible from many countable sets of ordinals, preprint.
J. T. Moore, A solution to the L-space problem and related ZFC constructions, preprint.
Mathematical Reviews (MathSciNet): MR2220104
Digital Object Identifier: doi:10.1090/S0894-0347-05-00517-5
Zentralblatt MATH: 1107.03056
P. Nyikos, Crowding of functions, para-saturation of ideals, and topological applications, Topology Proceedings, vol. 28 (2004), no. 1, pp. 241--266.
Mathematical Reviews (MathSciNet): MR2105461
S. Shelah, Proper and improper forcing, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1998.
Mathematical Reviews (MathSciNet): MR1623206
Zentralblatt MATH: 0889.03041
J. Steel and R. Van Wesep, Two consequences of determinacy consistent with choice, Transactions of the American Mathematical Society, vol. 272 (1982), no. 1, pp. 67--85.
Mathematical Reviews (MathSciNet): MR656481
Digital Object Identifier: doi:10.2307/1998951
Zentralblatt MATH: 0528.03033
A. D. Taylor, Regularity properties of ideals and ultrafilters, Annals of Mathematical Logic, vol. 16 (1979), no. 1, pp. 33--55.
Mathematical Reviews (MathSciNet): MR530430
Digital Object Identifier: doi:10.1016/0003-4843(79)90015-9
Zentralblatt MATH: 0411.03042
S. Todorcevic, Coherent sequences, Handbook of Set Theory (M. Foreman, A. Kanamori, and M. Magidor, editors), to appear.
Mathematical Reviews (MathSciNet): MR2267421
--------, A note on the proper forcing axiom, Axiomatic Set Theory (Boulder, Colorando), 1983, Also, in Contemporary Mathematics, vol. 31 (1984), American Mathematical Society, Providence, RI, pp. 209--218.
Mathematical Reviews (MathSciNet): MR763902
Zentralblatt MATH: 0564.03038
--------, Partitioning pairs of countable ordinals, Acta Mathematica, vol. 159 (1987), no. 3--4, pp. 261--294.
Mathematical Reviews (MathSciNet): MR908147
Digital Object Identifier: doi:10.1007/BF02392561
Zentralblatt MATH: 0658.03028
W. H. Woodin, Some consistency results in ZFC using AD, Cabal Seminar 79--81, Lecture Notes in Mathematics, vol. 1019, Springer, Berlin, 1983, pp. 172--198.
Mathematical Reviews (MathSciNet): MR730594
Zentralblatt MATH: 0549.03048
Digital Object Identifier: doi:10.1007/BFb0071701
--------, The axiom of determinacy, forcing axioms, and the nonstationary ideal, DeGruyter Series in Logic and its Applications, vol. 1, 1999.
Zentralblatt MATH: 0954.03046
J. Zapletal, Strongly almost disjoint functions, Israel Journal of Mathematics, vol. 97 (1997), pp. 101--111.
Mathematical Reviews (MathSciNet): MR1441241
Digital Object Identifier: doi:10.1007/BF02774029
Zentralblatt MATH: 0873.03046