2025/07/07 by Young, Justin
Mathematics · Computer Science · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #Homotopy and Cohomology in Algebraic Topology
paper · pdf · doi:10.48550/arxiv.2507.05371
A recent paper by Zapletal arXiv:2404.10612 discusses permutation models of set theory which arise from dynamical ideals and highlights properties of the dynamical ideal which relate to fragments of choice in the permutation model. In this paper, we provide several examples from topology which illustrate using these connections to argue that the corresponding permutation model satisfies either the axiom of countable choice or well-ordered choice.