Sealing from Iterability
Logic
2021-10-14 v1
Abstract
We obtain sealing by forcing over a self-iterable model. The proof is fine-structure free and uses only basic ideas from iteration theory. We believe that such fine-structure free proofs will make the subject more accessible to the general set theoretic community.
Keywords
Cite
@article{arxiv.2110.06312,
title = {Sealing from Iterability},
author = {Grigor Sargsyan and Nam Trang},
journal= {arXiv preprint arXiv:2110.06312},
year = {2021}
}