Collapsing \(\omega _2\) with semi-proper forcing

DOI10.1007/s00153-017-0588-xzbMath1477.03221OpenAlexW2756751713MaRDI QIDQ684233

Stevo Todorčević

Publication date: 9 February 2018

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

Full work available at URL: https://doi.org/10.1007/s00153-017-0588-x

zbMATH Keywords

oscillationforcingstationary set

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other combinatorial set theory (03E05) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (1)

PFA(S) and automorphisms of \(\mathcal{P}(\mathbb{N}) / \mathrm{fin}\)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The proper forcing axiom and stationary set reflection
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• More forcing notions imply diamond
• Walks on ordinals and their characteristics
• Notes on Forcing Axioms
• Semiproper forcing axiom implies Martin maximum but not PFA⁺
• Nonsplitting subset of _κ(κ⁺)
• Saturation Properties of Ideals in Generic Extensions. I
• A new Löwenheim-Skolem theorem
• Set Theory

This page was built for publication: Collapsing \(\omega _2\) with semi-proper forcing