Preservation of AD via forcings
Logic
2023-04-04 v1
Abstract
We show that assuming "", any poset which increases does not preserve the truth of . We also show that in , any non-trivial poset on does not preserve the truth of . This answers the question of Chan and Jackson. Furthermore, we show that under the assumptions "" + "", there is a poset on which adds a new subset of while preserving the truth of . This answers the question of Cunningham.
Cite
@article{arxiv.2304.00449,
title = {Preservation of AD via forcings},
author = {Daisuke Ikegami and Nam Trang},
journal= {arXiv preprint arXiv:2304.00449},
year = {2023}
}