Comments on Choiceless Chain Conditions
In [10] it was suggested that the countable chain condition should be defined in the absence of choice as "every predense set contains a countable predense subset". During his tutorial at the "120 Years of Choice" conference in 2024, Philipp Schlicht remarked that this definition does not have an iteration theorem in $\mathsf{ZF}$. We provide a proof of this claim. Specifically, we show that if every finite support iteration of ccc forcings is again ccc, then the Axiom of Choice for countable families of countable sets must hold. However, we prove that under the assumption of the Principle…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.26230
curl -X POST /api/v1/records/arxiv/2608.26230/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.26230/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'