ωι-Sonslin trees under countable support iterations
From MaRDI portal
Publication:4314815
DOI10.4064/fm-142-3-257-261zbMath0809.03037OpenAlexW820608980MaRDI QIDQ4314815
Publication date: 29 March 1995
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/211985
Related Items
PFA(S) and automorphisms of \(\mathcal{P}(\mathbb{N}) / \mathrm{fin}\) ⋮ Gap structure after forcing with a coherent Souslin tree ⋮ \(\mathrm{PFA}(S)[S\) and countably compact spaces] ⋮ \(\text{PFA}(S)[S\) for the masses] ⋮ Forcing the Σ31-separation property ⋮ \(\mathrm{PFA}(S)[S\) and locally compact normal spaces] ⋮ Forcing with a coherent Souslin tree and locally countable subspaces of countably tight compact spaces ⋮ Forcing the \(\Pi_3^1\)-reduction property and a failure of \(\Pi_3^1\)-uniformization ⋮ PFA(S) and countable tightness ⋮ Parametrized Measuring and Club Guessing ⋮ Uniformizing ladder system colorings and the rectangle refining property ⋮ Katetov’s problem ⋮ Hereditarily normal manifolds of dimension greater than one may all be metrizable ⋮ A model with Suslin trees but no minimal uncountable linear orders other than \(\omega_1\) and \(- \omega_1\) ⋮ NS SATURATED AND -DEFINABLE ⋮ A note on a forcing related to the S‐space problem in the extension with a coherent Suslin tree
