Non-elementary proper forcing
Logic
2015-09-07 v2
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.
Keywords
Cite
@article{arxiv.0910.2132,
title = {Non-elementary proper forcing},
author = {Jakob Kellner},
journal= {arXiv preprint arXiv:0910.2132},
year = {2015}
}