TY - RPRT TI - Choice axioms and Postnikov completeness AU - Mathieu Anel AU - Reid Barton PY - 2024 UR - https://arxiv.org/abs/2403.19772 ID - 2403.19772 ER -