Counting algebraic points in expansions of o-minimal structures by a dense set

Abstract: The Pila-Wilkie theorem states that if a set

X s u b s e t e q m a t h b b R^{n}

is definable in an o-minimal structure

m a t h c a l R

and contains `many' rational points, then it contains an infinite semialgebraic set. In this paper, we extend this theorem to an expansion

w i d e t i l d e m a t h c a l R = l a n g l e m a t h c a l R, P a n g l e

of

m a t h c a l R

by a dense set

P

, which is either an elementary substructure of

m a t h c a l R

, or it is independent, as follows. If

X

is definable in

w i d e t i l d e m a t h c a l R

and contains many rational points, then it is dense in an infinite semialgebraic set. Moreover, it contains an infinite set which is

e m p t y s e t

-definable in

l a n g l e o v e r l i n e m a t h b b R, P a n g l e

, where

o v e r l i n e m a t h b b R

is the real field.

Recommendations

Cited In (2)

This page was built for publication: Counting algebraic points in expansions of o-minimal structures by a dense set