TY  - RPRT
TI  - The real field with an irrational power function and a dense multiplicative subgroup
AU  - Philipp Hieronymi
PY  - 2009
DO  - 10.1112/jlms/jdq058
UR  - https://arxiv.org/abs/0912.2469
ID  - 0912.2469
ER  -