Collapsing _2 with semi-proper forcing

DOI10.1007/S00153-017-0588-XMaRDI QIDQ684233zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• On forcing without the continuum hypothesis
• Forcing axiom failure for any \(\lambda >\aleph_1\)
• More forcing notions imply diamond
• scientific article; zbMATH DE number 1113072
• Shelah's work on non-semi-proper iterations, II

Cites work

• scientific article; zbMATH DE number 4039907 (Why is no real title available?)
• scientific article; zbMATH DE number 734993 (Why is no real title available?)
• scientific article; zbMATH DE number 3417468 (Why is no real title available?)
• A new Löwenheim-Skolem theorem
• More forcing notions imply diamond
• Nonsplitting subset of _κ(κ⁺)
• Notes on forcing axioms
• Saturation Properties of Ideals in Generic Extensions. I
• Semiproper forcing axiom implies Martin maximum but not PFA⁺
• Set Theory
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• The proper forcing axiom and stationary set reflection
• Walks on ordinals and their characteristics

Cited in

(9)

• Forcing closed unbounded sets
• scientific article; zbMATH DE number 536974 (Why is no real title available?)
• \(\Pi_2\) consequences of \(\mathsf{BMM}+\mathsf{NS}_{\omega_1}\) is precipitous and the semiproperness of stationary set preserving forcings
• Some linked subsets of posets
• scientific article; zbMATH DE number 5354041 (Why is no real title available?)
• Forcing axiom failure for any \(\lambda >\aleph_1\)
• On forcing without the continuum hypothesis
• PFA(S) and automorphisms of \(\mathcal{P}(\mathbb{N}) / \mathrm{fin}\)
• A club guessing toolbox. I

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q684233)