Subcompact cardinals, squares, and stationary reflection

DOI10.1007/S11856-013-0007-XMaRDI QIDQ375792zbMATH OpenOpenAlexWikidataFDO

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)

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

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)