TY  - RPRT
TI  - A first-order theory of Ulm type
AU  - Matthew Harrison-Trainor
PY  - 2017
UR  - https://arxiv.org/abs/1702.06586
ID  - 1702.06586
ER  -