Subcompact cardinals, squares, and stationary reflection

DOI10.1007/s11856-013-0007-xzbMath1291.03100arXiv1106.2490OpenAlexW2083848519WikidataQ61834607 ScholiaQ61834607MaRDI QIDQ375792

Andrew 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

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

Related Items

Small embedding characterizations for large cardinals ⋮ A quasi-lower bound on the consistency strength of PFA ⋮ Obtaining Woodin’s cardinals ⋮ On Strong Forms of Reflection in Set Theory ⋮ On strong forms of reflection in set theory ⋮ On the consistency of local and global versions of Chang’s Conjecture ⋮ MORE ON THE PRESERVATION OF LARGE CARDINALS UNDER CLASS FORCING

Cites Work

• Unnamed Item
• Unnamed Item
• Indestructibility of Vopěnka's principle
• Notes on singular cardinal combinatorics
• An \(L\)-like model containing very large cardinals
• Homogeneous iteration and measure one covering relative to HOD
• Large cardinals and gap-1 morasses
• Indexed squares
• Combinatorial principles in the core model for one Woodin cardinal
• On the role of supercompact and extendible cardinals in logic
• SQUARES, SCALES AND STATIONARY REFLECTION
• Elementary Embeddings and Algebra
• Iterated Forcing and Elementary Embeddings
• Elementary embeddings and infinitary combinatorics
• Large cardinals and definable well-orders on the universe
• A very weak square principle
• CHARACTERIZATION OF □_κ IN CORE MODELS