TY  - RPRT
TI  - Neutrally Expandable Models of Arithmetic
AU  - Athar Abdul-Quader
AU  - Roman Kossak
PY  - 2017
DO  - 10.1002/malq.201800043
UR  - https://arxiv.org/abs/1712.06503
ID  - 1712.06503
ER  -