The *-Prikry condition

• Autorzy: Dimonte V.

Identyfikatory

DOI

10.4467/20842589RM.18.007.8840

• Języki publikacji: EN

Abstrakty

EN

In this paper we isolate a property for forcing notions, the *-Prikry condition, that is similar to the Prikry condition but that is topological: A forcing P satisfies it iff for every p ∈ P and for every open dense D ⊆ P, there are n ∈ ω and q ≤∗ p such that for any r ≤ q with l(r) = l(q) + n, r ∈ D, for some length notion l. This is implicit in many proofs in literature. We prove this for the tree Prikry forcing and the long extender Prikry forcing.

Słowa kluczowe

EN

Prikry forcing

• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 2018
• Tom: Vol. 53
• Strony: 111--142
• Opis fizyczny: Bibliogr. 15 poz., rys.

Twórcy

autor

Dimonte V.

• Technische Universit¨at Wien Wiedner Hauptstraße 8–10, 1040 Wien, Austria
• Universit`a degli Studi di Udine Dipartimento di Scienze Matematiche, Informatiche e Fisiche Via delle Scienze, 206, 33100 Udine, Italy

Bibliografia

• [1] S. Cramer, Implications of very large cardinals, Contemporary Mathematics 690 (2017), 225–257.
• [2] V. Dimonte, Totally non-proper ordinals beyond L(Vλ+1), Archive for Mathematical Logic 50 (2011), 565–584.
• [3] V. Dimonte and S.-D. Friedman, Rank-into-rank hypotheses and the failure of GCH, Archive for Mathematical Logic 53 (2014), 351–366.
• [4] V. Dimonte and L. Wu, A general tool for consistency results related to I1, European Journal of Mathematics 2 (2016), 474–492.
• [5] M. Gitik, Prikry-type forcings, vol. 2 of Handbook of set theory, Springer, Dordrecht, 2010, pp. 1351–1447.
• [6] M. Gitik, Short extender forcings I, Journal of Mathematical Logic 12:2 (2012).
• [7] M. Gitik and A. Sharon, On SCH and the approachability property, Proceedings of the American Mathematical Society 136 (2008), 311–320.
• [8] C. Merimovich, Prikry on extenders, revisited, Israel Journal of Mathematics 160 (2007), 253–280.
• [9] C. Merimovich, Supercompact extender based Prikry forcing, Archive for Mathematical Logic 50 (2011), 591–602.
• [10] I. Neeman, Aronszajn trees and failure of the Singular Cardinal Hypothesis, Journal of Mathematical Logic 9 (2009), 139–157.
• [11] F. Rowbottom, Some strong axioms of infinity incompatible with the axiom of constructibility, Annals of Mathematical Logic 3 (1971), 1–44.
• [12] D. Scott, Measurable cardinals and constructible sets, Bulletin de l’Acad´emie Polonaise des Sciences, S´erie des Sciences Math´ematiques, Astronomiques et Physiques 9 (1961), 521–524.
• [13] S. Shelah, On nice equivalence relations on λ2, Archive for Mathematical Logic 43 (2004), 31–64.
• [14] X. Shi, Axiom I0 and higher degree theory, The Journal of Symbolic Logic 80 (2015), 970–1021.
• [15] X. Shi and N. Trang, I0 and combinatorics at λ+, Archive for Mathematical Logic 56 (2017), 131–154.

Uwagi

Opracowanie rekordu w ramach umowy 509/P-DUN/2018 ze środków MNiSW przeznaczonych na działalność upowszechniającą naukę (2018).