Preservation of AD via forcings
arXiv:2304.00449
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.