MODNET

Research Training Network in Model Theory

Publications > Preprint server > Preprint Number 1285
Preprint Number 1285
1285. Pantelis E. Eleftheriou Counting algebraic points in expansions of o-minimal structures by a dense set E-mail: Submission date: 15 August 2017 Abstract: The Pila-Wilkie theorem states that if a set is definable in an o-minimal structure R over the reals and contains `many' rational points, then it contains an infinite semialgebraic set. In this paper, we extend the theorem to two important model theoretic settings. Let R'=(R, P) be an expansion of R by a dense set P, which is either an elementary substructure of R, or it is independent. We prove that if a set is definable in R' and contains many rational points, then it is dense in an infinite semialgebraic set. Along the way, we introduce the notion of the 'algebraic trace part' of any set. Mathematics Subject Classification: Keywords and phrases: |

Last updated: August 16 2017 09:30 | Please send your corrections to: |