Choice principles in countable partition models
We study the countable partition model over a set of atoms of arbitrary uncountable cardinality $κ$. Its supports are partitions of the atoms into countably many blocks, and a permutation fixes a support when it preserves each block setwise. This model was proposed by Bruce and studied by Banerjee. We prove that dependent choice holds for every $κ$, although the filter of subgroups is not closed under countable intersections. Choice for well-orderable families holds exactly when $κ<\aleph_{ω_1}$; when $κ\ge\aleph_{ω_1}$, an $ω_1$-indexed family witnesses its failure. The Hartogs and…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.29752
curl -X POST /api/v1/records/arxiv/2610.29752/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.29752/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'