TY  - RPRT
TI  - Non-trivial higher homotopy of first-order theories
AU  - Tim Campion
AU  - Jinhe Ye
PY  - 2024
DO  - 10.1017/jsl.2024.3
UR  - https://arxiv.org/abs/2306.12011
ID  - 2306.12011
ER  -