TY  - RPRT
TI  - Models of true arithmetic are integer parts of nice real closed fields
AU  - Merlin Carl
PY  - 2013
DO  - 10.4115/jla.2021.13.3
UR  - https://arxiv.org/abs/1307.6595
ID  - 1307.6595
ER  -