Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)

 
 

 

Prevalence of Generic Laver Diamond


Author: Sean D. Cox
Journal: Proc. Amer. Math. Soc. 143 (2015), 4045-4058
MSC (2010): Primary 03E57, 03E55, 03E35, 03E05
DOI: https://doi.org/10.1090/S0002-9939-2015-12540-3
Published electronically: February 26, 2015
MathSciNet review: 3359593
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: Viale (2012) introduced the notion of Generic Laver Diamond at $ \kappa $--which we denote $ \Diamond _{\text {Lav}}(\kappa )$--asserting the existence of a single function from $ \kappa \to H_\kappa $ that behaves much like a supercompact Laver function, except with generic elementary embeddings rather than internal embeddings. Viale proved that the Proper Forcing Axiom (PFA) implies $ \Diamond _{\text {Lav}}(\omega _2)$. We strengthen his theorem by weakening the hypothesis to a statement strictly weaker than PFA. We also show that the principle $ \Diamond _{\text {Lav}}(\kappa )$ provides a uniform, simple construction of 2-cardinal diamonds, and prove that $ \Diamond _{\text {Lav}}(\kappa )$ is quite prevalent in models of set theory; in particular:

  1. $ L$ satisfies $ \Diamond ^+_{\text {Lav}}(\kappa )$ whenever $ \kappa $ is a successor cardinal, or when the appropriate version of Chang's Conjecture fails.
  2. For any successor cardinal $ \kappa $, there is a $ \kappa $-directed closed class forcing--namely, the forcing from Friedman-Holy (2011)--that forces $ \Diamond _{\text {Lav}}(\kappa )$.

References [Enhancements On Off] (What's this?)

  • [1] Andrés Eduardo Caicedo and Boban Veličković, The bounded proper forcing axiom and well orderings of the reals, Math. Res. Lett. 13 (2006), no. 2-3, 393-408. MR 2231126 (2007d:03076), https://doi.org/10.4310/MRL.2006.v13.n3.a5
  • [2] Paul Corazza, Laver sequences for extendible and super-almost-huge cardinals, J. Symbolic Logic 64 (1999), no. 3, 963-983. MR 1779746 (2001g:03096), https://doi.org/10.2307/2586614
  • [3] Sean Cox and Matteo Viale, Martin's Maximum and tower forcing, Israel J. Math. 197 (2013), no. 1, 347-376. MR 3096619, https://doi.org/10.1007/s11856-013-0004-0
  • [4] Hans-Dieter Donder and Jean-Pierre Levinski, Some principles related to Chang's conjecture, Ann. Pure Appl. Logic 45 (1989), no. 1, 39-101. MR 1024901 (91b:03087), https://doi.org/10.1016/0168-0072(89)90030-4
  • [5] Hans-Dieter Donder and Pierre Matet, Two cardinal versions of diamond, Israel J. Math. 83 (1993), no. 1-2, 1-43. MR 1239715 (94k:03065), https://doi.org/10.1007/BF02764635
  • [6] Joel David Hamkins, A class of strong diamond principles, Preprint (2002), available at math/0211419.
  • [7] Alex Hellsten, Diamonds on large cardinals, Ann. Acad. Sci. Fenn. Math. Diss. 134 (2003), 48. Dissertation, University of Helsinki, Helsinki, 2003. MR 2026390 (2004j:03054)
  • [8] Thomas J. Jech, Some combinatorial problems concerning uncountable cardinals, Ann. Math. Logic 5 (1972/73), 165-198. MR 0325397 (48 #3744)
  • [9] Matthew Foreman and Menachem Magidor, Large cardinals and definable counterexamples to the continuum hypothesis, Ann. Pure Appl. Logic 76 (1995), no. 1, 47-97. MR 1359154 (96k:03124), https://doi.org/10.1016/0168-0072(94)00031-W
  • [10] Sy-David Friedman and Peter Holy, Condensation and large cardinals, Fund. Math. 215 (2011), no. 2, 133-166. MR 2860182, https://doi.org/10.4064/fm215-2-3
  • [11] Moti Gitik and Saharon Shelah, On certain indestructibility of strong cardinals and a question of Hajnal, Arch. Math. Logic 28 (1989), no. 1, 35-42. MR 987765 (90e:03063), https://doi.org/10.1007/BF01624081
  • [12] Kenneth Kunen, Set theory, Studies in Logic and the Foundations of Mathematics, vol. 102, North-Holland Publishing Co., Amsterdam-New York, 1980. An introduction to independence proofs. MR 597342 (82f:03001)
  • [13] Richard Laver, Making the supercompactness of $ \kappa $ indestructible under $ \kappa $-directed closed forcing, Israel J. Math. 29 (1978), no. 4, 385-388. MR 0472529 (57 #12226)
  • [14] David Richard Law, An abstract condensation property, ProQuest LLC, Ann Arbor, MI, 1994. Thesis (Ph.D.)-California Institute of Technology. MR 2691107
  • [15] Itay Neeman, Forcing with Sequences of Models of Two Types, Notre Dame J. Form. Log. 55 (2014), no. 2, 265-298. MR 3201836, https://doi.org/10.1215/00294527-2420666
  • [16] Saharon Shelah, Can you take Solovay's inaccessible away?, Israel J. Math. 48 (1984), no. 1, 1-47. MR 768264 (86g:03082a), https://doi.org/10.1007/BF02760522
  • [17] Masahiro Shioya, Splitting $ \mathcal {P}_\kappa \lambda $ into maximally many stationary sets, Israel J. Math. 114 (1999), 347-357. MR 1738689 (2001i:03100), https://doi.org/10.1007/BF02785587
  • [18] Stevo Todorčević, Partition problems in topology, Contemporary Mathematics, vol. 84, American Mathematical Society, Providence, RI, 1989. MR 980949 (90d:04001)
  • [19] Matteo Viale, Guessing models and generalized Laver diamond, Ann. Pure Appl. Logic 163 (2012), no. 11, 1660-1678. MR 2959666, https://doi.org/10.1016/j.apal.2011.12.015
  • [20] Matteo Viale and Christoph Weiß, On the consistency strength of the proper forcing axiom, Adv. Math. 228 (2011), no. 5, 2672-2687. MR 2838054 (2012m:03131), https://doi.org/10.1016/j.aim.2011.07.016
  • [21] W. Hugh Woodin, The axiom of determinacy, forcing axioms, and the nonstationary ideal, de Gruyter Series in Logic and its Applications, vol. 1, Walter de Gruyter & Co., Berlin, 1999. MR 1713438 (2001e:03001)

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC (2010): 03E57, 03E55, 03E35, 03E05

Retrieve articles in all journals with MSC (2010): 03E57, 03E55, 03E35, 03E05


Additional Information

Sean D. Cox
Affiliation: Department of Mathematics and Applied Mathematics, Virginia Commonwealth University, 1015 Floyd Avenue, Richmond, Virginia 23284
Email: scox9@vcu.edu

DOI: https://doi.org/10.1090/S0002-9939-2015-12540-3
Received by editor(s): April 5, 2013
Received by editor(s) in revised form: April 18, 2014
Published electronically: February 26, 2015
Additional Notes: Part of this work was done while the author participated in the Thematic Program on Forcing and its Applications at the Fields Institute, which was partially supported from NSF grant DMS-1162052.
Dedicated: In memory of Richard Laver, 1942-2012
Communicated by: Mirna Džamonja
Article copyright: © Copyright 2015 American Mathematical Society

American Mathematical Society