MODNET
Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 223

Preprint Number 223

Previous Next Preprint server


223. Philipp Hieronymi
The real field with an irrational power function and a dense multiplicative subgroup
E-mail:

Submission date: 13 December 2009.

Abstract:

Abstract Text: This paper provides a first example of a model theoretically well behaved structure consisting of a proper o-minimal expansion of the real field and a dense multiplicative subgroup of finite rank. Under certain Schanuel conditions, a quantifier elimination result will be shown for the real field with an irrational power function and a dense multiplicative subgroup of finite rank whose elements are algebraic over the field generated by the irrational power. Moreover, every open set definable in this structure is already definable in the reduct given by just the real field and the irrational power function.

Mathematics Subject Classification: 03C10.

Keywords and phrases:

Full text arXiv: pdf, ps.


Last updated: January 6 2010 21:35 Please send your corrections to: