TY - JOUR
T1 - On a class of maximality principles
AU - Ikegami, Daisuke
AU - Trang, Nam
N1 - Funding Information:
Acknowledgements The paper was written during the second author’s visit to Kobe University, where the first author was a postdoctoral researcher in May 2014 and completed during the first author’s visit to UC Irvine, where the second author is a Visiting Assistant Professor, in August 2016. The first author would like to thank Toshimichi Usuba for many comments and discussions on this topic. He is also grateful for JSPS for support through the grants with JSPS KAKENHI Grant Numbers 14J02269 and 15K17586. The second author would like to thank the NSF for its generous support through Grant DMS-1565808. Finally, we would like to thank Gunter Fuchs, Kaethe Minden, and the anonymous referee for several helpful comments regarding the content of the paper.
Publisher Copyright:
© 2017, Springer-Verlag GmbH Germany, part of Springer Nature.
PY - 2018/8/1
Y1 - 2018/8/1
N2 - We study various classes of maximality principles, MP (κ, Γ) , introduced by Hamkins (J Symb Log 68(2):527–550, 2003), where Γ defines a class of forcing posets and κ is an infinite cardinal. We explore the consistency strength and the relationship of MP(κ, Γ) with various forcing axioms when κ∈ { ω, ω1}. In particular, we give a characterization of bounded forcing axioms for a class of forcings Γ in terms of maximality principles MP(ω1, Γ) for Σ 1 formulas. A significant part of the paper is devoted to studying the principle MP(κ, Γ) where κ∈ { ω, ω1} and Γ defines the class of stationary set preserving forcings. We show that MP(κ, Γ) has high consistency strength; on the other hand, if Γ defines the class of proper forcings or semi-proper forcings, then by Hamkins (2003), MP(κ, Γ) is consistent relative to V= L.
AB - We study various classes of maximality principles, MP (κ, Γ) , introduced by Hamkins (J Symb Log 68(2):527–550, 2003), where Γ defines a class of forcing posets and κ is an infinite cardinal. We explore the consistency strength and the relationship of MP(κ, Γ) with various forcing axioms when κ∈ { ω, ω1}. In particular, we give a characterization of bounded forcing axioms for a class of forcings Γ in terms of maximality principles MP(ω1, Γ) for Σ 1 formulas. A significant part of the paper is devoted to studying the principle MP(κ, Γ) where κ∈ { ω, ω1} and Γ defines the class of stationary set preserving forcings. We show that MP(κ, Γ) has high consistency strength; on the other hand, if Γ defines the class of proper forcings or semi-proper forcings, then by Hamkins (2003), MP(κ, Γ) is consistent relative to V= L.
KW - Forcing axioms
KW - Inner models
KW - Large cardinals
KW - Maximality principles
UR - http://www.scopus.com/inward/record.url?scp=85035128059&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85035128059&partnerID=8YFLogxK
U2 - 10.1007/s00153-017-0603-2
DO - 10.1007/s00153-017-0603-2
M3 - Article
AN - SCOPUS:85035128059
SN - 0933-5846
VL - 57
SP - 713
EP - 725
JO - Archive for Mathematical Logic
JF - Archive for Mathematical Logic
IS - 5-6
ER -