Archive for Mathematical Logic 59 (1-2):179-196 (2020)
Abstract |
The weakly compact reflection principle\\) states that \ is a weakly compact cardinal and every weakly compact subset of \ has a weakly compact proper initial segment. The weakly compact reflection principle at \ implies that \ is an \-weakly compact cardinal. In this article we show that the weakly compact reflection principle does not imply that \ is \\)-weakly compact. Moreover, we show that if the weakly compact reflection principle holds at \ then there is a forcing extension preserving this in which \ is the least \-weakly compact cardinal. Along the way we generalize the well-known result which states that if \ is a regular cardinal then in any forcing extension by \-c.c. forcing the nonstationary ideal equals the ideal generated by the ground model nonstationary ideal; our generalization states that if \ is a weakly compact cardinal then after forcing with a ‘typical’ Easton-support iteration of length \ the weakly compact ideal equals the ideal generated by the ground model weakly compact ideal.
|
Keywords | No keywords specified (fix it) |
Categories |
No categories specified (categorize this paper) |
ISBN(s) | |
DOI | 10.1007/s00153-019-00686-7 |
Options |
![]() ![]() ![]() |
Download options
References found in this work BETA
The Lottery Preparation.Joel David Hamkins - 2000 - Annals of Pure and Applied Logic 101 (2-3):103-146.
What is the Theory ZFC Without Power Set?Victoria Gitman, Joel David Hamkins & Thomas A. Johnstone - 2016 - Mathematical Logic Quarterly 62 (4-5):391-406.
On Splitting Stationary Subsets of Large Cardinals.James E. Baumgartner, Alan D. Taylor & Stanley Wagon - 1977 - Journal of Symbolic Logic 42 (2):203-214.
View all 7 references / Add more references
Citations of this work BETA
Adding a Nonreflecting Weakly Compact Set.Brent Cody - 2019 - Notre Dame Journal of Formal Logic 60 (3):503-521.
Forcing a □(Κ)-Like Principle to Hold at a Weakly Compact Cardinal.Brent Cody, Victoria Gitman & Chris Lambie-Hanson - 2021 - Annals of Pure and Applied Logic 172 (7):102960.
Similar books and articles
The Necessary Maximality Principle for C. C. C. Forcing is Equiconsistent with a Weakly Compact Cardinal.Joel D. Hamkins & W. Hugh Woodin - 2005 - Mathematical Logic Quarterly 51 (5):493-498.
A Remark on Weakly Compact Cardinals.Tapani Hyttinen - 2002 - Mathematical Logic Quarterly 48 (3):397-402.
Chain Conditions of Products, and Weakly Compact Cardinals.Assaf Rinot - 2014 - Bulletin of Symbolic Logic 20 (3):293-314,.
Weak Covering at Large Cardinals.Ralf ‐ Dieter Schindler - 1997 - Mathematical Logic Quarterly 43 (1):22-28.
Indestructibility and Stationary Reflection.Arthur W. Apter - 2009 - Mathematical Logic Quarterly 55 (3):228-236.
Dependent Choices and Weak Compactness.Christian Delhommé & Marianne Morillon - 1999 - Notre Dame Journal of Formal Logic 40 (4):568-573.
Inner Models with Large Cardinal Features Usually Obtained by Forcing.Arthur W. Apter, Victoria Gitman & Joel David Hamkins - 2012 - Archive for Mathematical Logic 51 (3-4):257-283.
Two Weak Consequences of 0#. [REVIEW]M. Gitik, M. Magidor & H. Woodin - 1985 - Journal of Symbolic Logic 50 (3):597 - 603.
Indestructible Weakly Compact Cardinals and the Necessity of Supercompactness for Certain Proof Schemata.J. D. Hamkins & A. W. Apter - 2001 - Mathematical Logic Quarterly 47 (4):563-572.
Generic Embeddings Associated to an Indestructibly Weakly Compact Cardinal.Gunter Fuchs - 2010 - Annals of Pure and Applied Logic 162 (1):89-105.
Partition Complete Boolean Algebras and Almost Compact Cardinals.Peter Jipsen & Henry Rose - 1999 - Mathematical Logic Quarterly 45 (2):241-255.
The Strength of Choiceless Patterns of Singular and Weakly Compact Cardinals.Daniel Busche & Ralf Schindler - 2009 - Annals of Pure and Applied Logic 159 (1-2):198-248.
Analytics
Added to PP index
2019-07-04
Total views
10 ( #899,725 of 2,506,495 )
Recent downloads (6 months)
1 ( #416,791 of 2,506,495 )
2019-07-04
Total views
10 ( #899,725 of 2,506,495 )
Recent downloads (6 months)
1 ( #416,791 of 2,506,495 )
How can I increase my downloads?
Downloads