TY  - RPRT
TI  - Truncation Structures
AU  - Lou van den Dries
PY  - 2025
UR  - https://arxiv.org/abs/2512.22640
ID  - 2512.22640
ER  -