Journal of Symbolic Logic · 2009 · 17 citations · 10 references
Natural SciencesMathematicsGeneralizability TheorySeparation Of PowersSet TheoryAxiomatic Set TheoryCardinal NumbersLarge CardinalsConsistencyConsistency Strength Of Large Cardinals
Abstract The motivation for this paper is the following: In [4] I showed that it is inconsistent with ZFC that the Maximality Principle for directed closed forcings holds at unboundedly many regular cardinals κ (even only allowing κ itself as a parameter in the Maximality Principle for < κ -closed forcings each time). So the question is whether it is consistent to have this principle at unboundedly many regular cardinals or at every regular cardinal below some large cardinal κ (instead of ∞ ), and if so, how strong it is. It turns out that it is consistent in many cases, but the consistency strength is quite high.
10
On strong compactness and supercompactness
Telis K. Menas · Annals of Mathematical Logic · 1975 · 174 citations
Joel David Hamkins · Journal of Symbolic Logic · 2003 · 101 citations