Non-elementary proper forcing
Abstract
We introduce a simplified framework for ord-transitive models and Shelah's non elementary proper (nep) theory. We also introduce a new construction for the countable support nep iteration.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2009
- DOI:
- 10.48550/arXiv.0910.2132
- arXiv:
- arXiv:0910.2132
- Bibcode:
- 2009arXiv0910.2132K
- Keywords:
-
- Mathematics - Logic;
- 03E35;
- 03E40
- E-Print:
- Rend. Semin. Mat. Univ. Politec. Torino 70 (2012), No. 3, 207-246