Simultaneous stationary reflection and square sequences

DOI10.1142/S0219061317500106zbMath1423.03164arXiv1603.05556OpenAlexW2963466628MaRDI QIDQ4596666

Yair Hayut, Chris Lambie-Hanson

Publication date: 4 December 2017

Published in: Journal of Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

forcinglarge cardinalsstationary reflectionsquare principles

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Other combinatorial set theory (03E05)

Related Items (15)

Club stationary reflection and the special Aronszajn tree property ⋮ MENAS’S CONJECTURE REVISITED ⋮ Aronszajn trees, square principles, and stationary reflection ⋮ Complicated colorings, revisited ⋮ Rado’s Conjecture and its Baire version ⋮ Diagonal reflections on squares ⋮ HIERARCHIES OF FORCING AXIOMS, THE CONTINUUM HYPOTHESIS AND SQUARE PRINCIPLES ⋮ HIERARCHIES OF (VIRTUAL) RESURRECTION AXIOMS ⋮ SQUARES, ASCENT PATHS, AND CHAIN CONDITIONS ⋮ Forcing a \(\square(\kappa)\)-like principle to hold at a weakly compact cardinal ⋮ Fake reflection ⋮ Knaster and friends II: The C-sequence number ⋮ SEPARATING DIAGONAL STATIONARY REFLECTION PRINCIPLES ⋮ STATIONARY REFLECTION ⋮ Was Ulam right? I: basic theory and subnormal ideals

Cites Work

• Square and delta reflection
• Bounded stationary reflection. II.
• Squares and covering matrices
• Global square sequences in extender models
• Some exact equiconsistency results in set theory
• The proper forcing axiom and stationary set reflection
• Indexed squares
• Combinatorial principles in the core model for one Woodin cardinal
• SQUARES, SCALES AND STATIONARY REFLECTION
• CHAIN CONDITIONS OF PRODUCTS, AND WEAKLY COMPACT CARDINALS
• Nontame mouse from the failure of square at a singular strong limit cardinal
• Coherent Sequences
• Successors of Singular Cardinals
• When Does Almost Free Imply Free? (For Groups, Transversals, etc.)
• Reflecting stationary sets
• SQUARES AND NARROW SYSTEMS
• The fine structure of the constructible hierarchy
• CHARACTERIZATION OF □_κ IN CORE MODELS
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Simultaneous stationary reflection and square sequences