Forcing "$\mathrm{NS}_{ω_1}$ is $ω_1$-dense" From Large Cardinals

Documenti analoghi

• An Iteration Theorem for $ω_1$-preserving Forcings
  di: Lietz, Andreas
  Pubblicazione: (2024)
• Forcing Axioms and the Definabilty of the Nonstationary Ideal on $ω_1$
  di: Hoffelner, Stefan, et al.
  Pubblicazione: (2022)
• Separating Maximality Principles
  di: Gappo, Takehiko, et al.
  Pubblicazione: (2025)
• Long Strong Chains of Subsets of $ω_1$
  di: Asperó, David, et al.
  Pubblicazione: (2026)
• The Axiom of Choice in the $κ$-Mantle
  di: Lietz, Andreas
  Pubblicazione: (2024)