Non-elementary proper forcing

zbMath1347.03091arXiv0910.2132MaRDI QIDQ5258091

Jakob Kellner

Publication date: 25 June 2015

Full work available at URL: https://arxiv.org/abs/0910.2132

zbMATH Keywords

countable support iterationnon-elementary proper forcingSuslin proper forcingord-transitive models

Mathematics Subject Classification ID

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

Related Items (4)

Many countable support iterations of proper forcings preserve Souslin trees ⋮ Cichoń's diagram, regularity properties and \(\varDelta^1_3\) sets of reals ⋮ Trivial automorphisms ⋮ Borel conjecture and dual Borel conjecture

This page was built for publication: Non-elementary proper forcing