TY  - RPRT
TI  - First-order theory of torsion-free Tarski monsters
AU  - Rémi Coulon
AU  - Francesco Fournier-Facio
AU  - Meng-Che "Turbo" Ho
PY  - 2025
UR  - https://arxiv.org/abs/2508.21244
ID  - 2508.21244
ER  -