Stranger Things about Forcing without AC

Martin Goldstern,Lukas Daniel Klausner
DOI: https://doi.org/10.14712/1213-7243.2020.013
2019-07-22
Abstract:Typically, set theorists reason about forcing constructions in the context of ZFC. We show that without AC, several simple properties of forcing posets fail to hold, one of which answers Miller's question from <a class="link-https" data-arxiv-id="0704.3998" href="https://arxiv.org/abs/0704.3998">arXiv:0704.3998</a>.
Logic
What problem does this paper attempt to address?