Homogeneous forcing
Assume $κ= κ^{ }{\rm Ord}$ and not collapsing cardinals along a linear order $L$. A sufficient condition for this, which we will focus on, is for the forcings to have support $<κ$ and the $κ^+$-cc, and be strategically $<κ$-complete. The aim is to have homogeneous forcings, so that the iteration has many automorphisms. In addition to the inherent interest, such iterations are helpful for considering some natural ideals on ${}^\kappa2$, in order to get a model of ${\rm ZF} + {\rm DC}_κ +$ ``modulo this ideal, every set is equivalent to a $κ$-Borel one." But here we only have many…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2603.17949
curl -X POST /api/v1/records/arxiv/2603.17949/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.17949/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'