Choiceless Chain Conditions
Logic
2022-11-15 v2
Abstract
Chain conditions are one of the major tools used in the theory of forcing. We say that a partial order has the countable chain condition if every antichain (in the sense of forcing) is countable. Without the axiom of choice antichains tend to be of little use, for various reasons, and in this short note we study a number of conditions which in ZFC are equivalent to the countable chain condition.
Keywords
Cite
@article{arxiv.2106.03561,
title = {Choiceless Chain Conditions},
author = {Asaf Karagila and Noah Schweber},
journal= {arXiv preprint arXiv:2106.03561},
year = {2022}
}
Comments
15 pages; removed problematic proof and added new results