Notre Dame Journal of Formal Logic

PFA and Ideals on ω2 Whose Associated Forcings Are Proper

Sean Cox

Abstract

Given an ideal I, let PI denote the forcing with I-positive sets. We consider models of forcing axioms MA(Γ) which also have a normal ideal I with completeness ω2 such that PIΓ. Using a bit more than a superhuge cardinal, we produce a model of PFA (proper forcing axiom) which has many ideals on ω2 whose associated forcings are proper; a similar phenomenon is also observed in the standard model of MA+ω1(σ-closed) obtained from a supercompact cardinal. Our model of PFA also exhibits weaker versions of ideal properties, which were shown by Foreman and Magidor to be inconsistent with PFA.

Along the way, we also show (1) the diagonal reflection principle for internally club sets (DRP(ICω1)) introduced by the author in earlier work is equivalent to a natural weakening of “there is an ideal I such that PI is proper”; and (2) for many natural classes Γ of posets, MA+ω1(Γ) is equivalent to an apparently stronger version which we call MA+Diag(Γ).

Article information

Source
Notre Dame J. Formal Logic, Volume 53, Number 3 (2012), 397-412.

Dates
First available in Project Euclid: 24 September 2012

Permanent link to this document
https://projecteuclid.org/euclid.ndjfl/1348524118

Digital Object Identifier
doi:10.1215/00294527-1716793

Mathematical Reviews number (MathSciNet)
MR2981015

Zentralblatt MATH identifier
1253.03078

Subjects
Primary: 03E05: Other combinatorial set theory
Secondary: 03E35: Consistency and independence results 03E50: Continuum hypothesis and Martin's axiom [See also 03E57] 03E55: Large cardinals 03E57: Generic absoluteness and forcing axioms [See also 03E50]

Keywords
forcing axioms ideals duality theorem large cardinals proper forcing

Citation

Cox, Sean. PFA and Ideals on $\omega_{2}$ Whose Associated Forcings Are Proper. Notre Dame J. Formal Logic 53 (2012), no. 3, 397--412. doi:10.1215/00294527-1716793. https://projecteuclid.org/euclid.ndjfl/1348524118


Export citation

References

  • [1] Beaudoin, R. E., “The proper forcing axiom and stationary set reflection,” Pacific Journal of Mathematics, vol. 149 (1991), pp. 13–24.
  • [2] Corazza, P., “Laver sequences for extendible and super-almost-huge cardinals,” Journal of Symbolic Logic, vol. 64 (1999), pp. 963–983.
  • [3] Cox, S., “Ideal projections as forcing projections,” in preparation.
  • [4] Cox, S., “The Diagonal Reflection Principle,” Proceedings of the American Mathematical Society, vol. 140 (2012), pp. 2893–2902.
  • [5] Cummings, J., “Iterated forcing and elementary embeddings,” pp. 775–883 in Handbook of Set Theory, vol. 2, edited by M. Foreman and A. Konamori, Springer, Dordrecht, 2010.
  • [6] Foreman, M., “Smoke and mirrors: Combinatorial properties of small cardinals equiconsistent with huge cardinals,” Advances in Mathematics, vol. 222 (2009), pp. 565–595.
  • [7] Foreman, M., “Ideals and generic elementary embeddings,” pp. 885–1147 in Handbook of Set Theory, Springer, Dordrecht, 2010.
  • [8] Foreman, M., “Calculating quotient algebras for generic embeddings,” to appear in Israel Journal of Mathematics.
  • [9] Foreman, M., and M. Magidor, “Large cardinals and definable counterexamples to the continuum hypothesis,” Annals of Pure and Applied Logic, vol. 76 (1995), pp. 47–97.
  • [10] Foreman, M., M. Magidor, and S. Shelah, “Martin’s maximum, saturated ideals, and nonregular ultrafilters, I,” Annals of Mathematics (2), vol. 127 (1988), pp. 1–47.
  • [11] Jech, T., Set Theory, 3rd millennium edition, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003.
  • [12] Kanamori, A., The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings, 2nd edition, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003.
  • [13] Viale, M., “Guessing models and generalized Laver diamond,” Annals of Pure and Applied Logic, published electronically 29 December 2011, doi:10.1016/j.apal.2011.12.015.
  • [14] Woodin, W. H., The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal, vol. 1 of de Gruyter Series in Logic and its Applications, Walter de Gruyter & Co., Berlin, 1999.