Combinatorial Properties and Dependent choice in symmetric extensions based on L\'{e}vy Collapse
Logic
2022-11-11 v4
Abstract
We work with symmetric extensions based on L\'{e}vy Collapse and extend a few results of Arthur Apter. We prove a conjecture of Ioanna Dimitriou from her P.h.d. thesis. We also observe that if is a model of ZFC, then can be preserved in the symmetric extension of in terms of symmetric system , if is -distributive and is -complete. Further we observe that if is a model of ZF + , then can be preserved in the symmetric extension of in terms of symmetric system , if is -strategically closed and is -complete.
Cite
@article{arxiv.1903.05945,
title = {Combinatorial Properties and Dependent choice in symmetric extensions based on L\'{e}vy Collapse},
author = {Amitayu Banerjee},
journal= {arXiv preprint arXiv:1903.05945},
year = {2022}
}
Comments
Revised version