TY - RPRT TI - A first-order theory is stable iff its type space is simplicially contractible AU - Misha Gavrilovich PY - 2023 UR - https://arxiv.org/abs/2303.17575 ID - 2303.17575 ER -