TY  - RPRT
TI  - The rational field is not universally definable in pseudo-exponentiation
AU  - Jonathan Kirby
PY  - 2015
DO  - 10.4064/fm232-1-6
UR  - https://arxiv.org/abs/1407.1068
ID  - 1407.1068
ER  -