TY  - RPRT
TI  - A universal first order formula defining the ring of integers in a number field
AU  - Jennifer Park
PY  - 2012
UR  - https://arxiv.org/abs/1202.6371
ID  - 1202.6371
ER  -