Local saturation and square everywhere

2019/01/04 by Eskew, Monroe
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1901.02821

Abstract

We show that it is consistent relative to a huge cardinal that for all infinite cardinals κ, \square_κ holds and there is a stationary S ⊆ κ⁺ such that NS_κ⁺ \restriction S is κ⁺⁺-saturated.

Related

• Exact saturation in simple and NIP theories
• Stationary Reflection and the failure of SCH
• Forcing "NS_ω1 is ω₁-dense" From Large Cardinals
• Partial strong compactness and squares
• The strong tree property and weak square