TY - RPRT TI - The algebraic numbers definable in various exponential fields AU - Jonathan Kirby AU - Angus Macintyre AU - Alf Onshuus PY - 2011 DO - 10.1017/s1474748012000047 UR - https://arxiv.org/abs/1101.4224 ID - 1101.4224 ER -