Publications > Preprint server > Preprint Number 223
Preprint Number 223
223. Philipp Hieronymi
The real field with an irrational power function and a dense multiplicative subgroup
Submission date: 13 December 2009.
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:
|Last updated: January 6 2010 21:35||Please send your corrections to:|