Proper forcing remastered
From MaRDI portal
Publication:5271405
zbMath1367.03094arXiv1110.0610MaRDI QIDQ5271405
Giorgio Venturi, Boban Velickovic
Publication date: 11 July 2017
Full work available at URL: https://arxiv.org/abs/1110.0610
superatomic Boolean algebraproper forcing axiom\(\omega_2\) increasing chain in \((\omega_1^{\omega_1},<_{\mathrm{fin}})\)Friedman-Mitchell poset
Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Generic absoluteness and forcing axioms (03E57)
Related Items (8)
MITCHELL-INSPIRED FORCING, WITH SMALL WORKING PARTS AND COLLECTIONS OF MODELS OF UNIFORM SIZE AS SIDE CONDITIONS, AND GAP-ONE SIMPLIFIED MORASSES ⋮ On constructions with 2-cardinals ⋮ In memoriam: James Earl Baumgartner (1943--2011) ⋮ Two applications of finite side conditions at \(\omega _2\) ⋮ On strong chains of sets and functions ⋮ SPECIALISING TREES WITH SMALL APPROXIMATIONS I ⋮ Forcing with adequate sets of models as side conditions ⋮ Forcing with sequences of models of two types
This page was built for publication: Proper forcing remastered
