Subcompact cardinals, squares, and stationary reflection

DOI10.1007/S11856-013-0007-XzbMATH Open1291.03100OpenAlexW2083848519WikidataQ61834607 ScholiaQ61834607MaRDI QIDQ375792FDOQ375792

Authors A. D. Brooke-Taylor, Sy-David Friedman

Publication date 31 October 2013

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1106.2490

zbMATH Keywords

forcingsquarestationary reflectionhierarchy of weak squaresstrong large cardinalssubcompactness

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35) Large cardinals (03E55) Continuum hypothesis and Martin's axiom (03E50)

Abstract: We generalise Jensen's result on the incompatibility of subcompactness with square. We show that alpha^+-subcompactness of some cardinal less than or equal to alpha precludes square_alpha, but also that square may be forced to hold everywhere where this obstruction is not present. The forcing also preserves other strong large cardinals. Similar results are also given for stationary reflection, with a corresponding strengthening of the large cardinal assumption involved. Finally, we refine the analysis by considering Schimmerling's hierarchy of weak squares, showing which cases are precluded by alpha^+-subcompactness, and again we demonstrate the optimality of our results by forcing the strongest possible squares under these restrictions to hold.

Recommendations

• Two upper bounds on consistency strength of \(\neg \square_{\aleph_\omega}\) and stationary set reflection at two successive \(\aleph_n\)
• Weak square and stationary reflection
• Square and delta reflection
• A characterization of \(\square(\kappa^{+})\) in extender models
• Square in core models

Cites work

• scientific article; zbMATH DE number 3496166 (Why is no real title available?)
• scientific article; zbMATH DE number 1908324 (Why is no real title available?)
• A very weak square principle
• An \(L\)-like model containing very large cardinals
• CHARACTERIZATION OF □_κ IN CORE MODELS
• Combinatorial principles in the core model for one Woodin cardinal
• Elementary Embeddings and Algebra
• Elementary embeddings and infinitary combinatorics
• Homogeneous iteration and measure one covering relative to HOD
• Indestructibility of Vopěnka's principle
• Indexed squares
• Iterated forcing and elementary embeddings
• Large cardinals and definable well-orders on the universe
• Large cardinals and gap-1 morasses
• Notes on singular cardinal combinatorics
• On the role of supercompact and extendible cardinals in logic
• Squares, scales and stationary reflection

Cited in

(17)

• Hierarchies of forcing axioms, the continuum hypothesis and square principles
• On the consistency of local and global versions of Chang's conjecture
• Partial strong compactness and squares
• scientific article; zbMATH DE number 2222015 (Why is no real title available?)
• Two upper bounds on consistency strength of \(\neg \square_{\aleph_\omega}\) and stationary set reflection at two successive \(\aleph_n\)
• A characterization of \(\square(\kappa^{+})\) in extender models
• Stationary sets added when forcing squares
• On Strong Forms of Reflection in Set Theory
• A quasi-lower bound on the consistency strength of PFA
• Obtaining Woodin's cardinals
• Equiconsistencies at subcompact cardinals
• On strong forms of reflection in set theory
• Square below a non-weakly compact cardinal
• Small embedding characterizations for large cardinals
• Subcompact cardinals, type omission, and ladder systems
• MORE ON THE PRESERVATION OF LARGE CARDINALS UNDER CLASS FORCING
• scientific article; zbMATH DE number 3884149 (Why is no real title available?)

This page was built for publication: Subcompact cardinals, squares, and stationary reflection

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q375792)