Currently displaying 1 – 4 of 4

Showing per page

Order by Relevance | Title | Year of publication

Expansions of the real line by open sets: o-minimality and open cores

Chris MillerPatrick Speissegger — 1999

Fundamenta Mathematicae

The open core of a structure ℜ := (ℝ,<,...) is defined to be the reduct (in the sense of definability) of ℜ generated by all of its definable open sets. If the open core of ℜ is o-minimal, then the topological closure of any definable set has finitely many connected components. We show that if every definable subset of ℝ is finite or uncountable, or if ℜ defines addition and multiplication and every definable open subset of ℝ has finitely many connected components, then the open core of ℜ is...

Expansions of o-minimal structures by sparse sets

Harvey FriedmanChris Miller — 2001

Fundamenta Mathematicae

Given an o-minimal expansion ℜ of the ordered additive group of real numbers and E ⊆ ℝ, we consider the extent to which basic metric and topological properties of subsets of ℝ definable in the expansion (ℜ,E) are inherited by the subsets of ℝ definable in certain expansions of (ℜ,E). In particular, suppose that f ( E m ) has no interior for each m ∈ ℕ and f : m definable in ℜ, and that every subset of ℝ definable in (ℜ,E) has interior or is nowhere dense. Then every subset of ℝ definable in (ℜ,(S)) has interior...

Levelled O-minimal structures.

David MarkerChris Miller — 1997

Revista Matemática de la Universidad Complutense de Madrid

We introduce the notion of leveled structure and show that every structure elementarily equivalent to the real expo field expanded by all restricted analytic functions is leveled.

Extending Tamm's theorem

Lou van den DriesChris Miller — 1994

Annales de l'institut Fourier

We extend a result of M. Tamm as follows: Let f : A , A m + n , be definable in the ordered field of real numbers augmented by all real analytic functions on compact boxes and all power functions x x r : ( 0 , ) , r . Then there exists N such that for all ( a , b ) A , if y f ( a , y ) is C N in a neighborhood of b , then y f ( a , y ) is real analytic in a neighborhood of b .

Page 1

Download Results (CSV)