Expansions of the real field by open sets: definability versus interpretability

An open U ⊆ ℝ is produced such that (ℝ, +, ·, U ) defines a Borel isomorph of (ℝ, +, ·, ℕ) but does not define ℕ. It follows that (ℝ, +, ·, U ) defines sets in every level of the projective hierarchy but does not define all projective sets. This result is elaborated in various ways that involve geometric measure theory and working over o-minimal expansions of (ℝ, +, ·). In particular, there is a Cantor set E ⊆ ℝ such that (ℝ, +, ·, ℕ) defines a Borel isomorph of (ℝ, +, ·, ℕ) and, for every exponentially bounded o-minimal expansion of (ℝ, +, ·), every subset of ℝ definable in ( , E ) either has interior or is Hausdorff null.

[1]  Chris Miller,et al.  Expansions of o-minimal structures by fast sequences , 2005, J. Symb. Log..

[2]  Chris Miller,et al.  EXPONENTIATION IS HARD TO AVOID , 1994 .

[3]  B. Gelbaum,et al.  Counterexamples in Analysis , 1967 .

[4]  Charles Steinhorn,et al.  Tame Topology and O-Minimal Structures , 2008 .

[5]  Patrick Speissegger,et al.  The Pfaffian closure of an o-minimal structure , 1997, math/9710220.

[6]  Georges Comte,et al.  Tame Geometry with Application in Smooth Analysis , 2004, Lecture notes in mathematics.

[7]  Lou van den Dries.  Dense pairs of o-minimal structures , 1998 .

[8]  Avoiding the projective hierarchy in expansions of the real field by sequences , 2005 .

[9]  Chris Miller,et al.  Expansions of the real line by open sets: o-minimality and open cores , 1999 .

[10]  Philipp Hieronymi.  Defining the set of integers in expansions of the real field by a closed discrete set , 2009, 0906.4972.

[11]  L. van den Dries,et al.  Tame Topology and O-minimal Structures , 1998 .

[12]  L. Dries,et al.  Geometric categories and o-minimal structures , 1996 .

[13]  A. Wilkie.  TAME TOPOLOGY AND O-MINIMAL STRUCTURES (London Mathematical Society Lecture Note Series 248) By L OU VAN DEN D RIES : 180 pp., £24.95 (US$39.95, LMS Members' price £18.70), ISBN 0 521 59838 9 (Cambridge University Press, 1998). , 2000 .

[15]  Chris Miller,et al.  Expansions of o-Minimal Structures by Iteration Sequences , 2006, Notre Dame J. Formal Log..

[16]  Pertti Mattila,et al.  Geometry of sets and measures in Euclidean spaces , 1995 .

[17]  Chris Miller,et al.  Differential equations over polynomially bounded o-minimal structures , 2002 .