Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 286

Preprint Number 286

Previous Next Preprint server

286. Philipp Hieronymi
Expansions of subfields of the real field by a discrete set

Submission date: 6 January 2011.


Let K be a subfield of the real field, D be a closed and discrete subset of K and f : D^n -> K be a function such that f(D^n) is somewhere dense. Then (K,f) defines the set of integers. We present several applications of this result. We show that K expanded by predicates for different cyclic multiplicative subgroups defines the set of integers. Moreover, we prove that every definably complete expansion of a subfield of the real field satisfies an analogue of the Baire Category Theorem.

Mathematics Subject Classification: 03C64, 54E52

Keywords and phrases:

Full text arXiv: pdf, ps.

Last updated: January 12 2011 15:44 Please send your corrections to: