论文信息 - Expansions of o-minimal structures by fast sequences

Expansions of o-minimal structures by fast sequences

Let ℝ be an o-minimal expansion of (ℝ, ϕ k ) k Єℕ be a sequence of positive real numbers such that limt k →+∞ f ( ϕ k )/ ϕ k +1 = 0 for every f : ℝ → ℝ definable in ℜ (Such sequences always exist under some reasonable extra assumptions on ℜ, in particular, if ℜ is exponentially bounded or if the language is countable.) Then (ℜ, ( S )) is d-minimal. where S ranges over all subsets of cartesian powers of the range of ϕ .

Chris Miller | Harvey M. Friedman

[1] Lou van den Dries,et al. THE REAL FIELD WITH CONVERGENT GENERALIZED POWER SERIES , 1998 .

[2] A. Kechris. Classical descriptive set theory , 1987 .

[3] Ya'acov Peterzil,et al. A structure theorem for semibounded sets in the reals , 1992, Journal of Symbolic Logic.

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

[5] Robert J. Poston. Defining Multiplication in o-Minimal Expansions of the Additive Reals , 1995, J. Symb. Log..

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

[7] Lou van den Dries,et al. The field of reals with a predicate for the powers of two , 1985 .

[8] Alex Wilkie,et al. Quasianalytic Denjoy-Carleman classes and o-minimality , 2003 .

[9] Christopher L. Miller. Expansions of the Real Field with Power Functions , 1994, Ann. Pure Appl. Log..

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

[11] Lou van den Dries,et al. The Field of Reals with Multisummable Series and the Exponential Function , 2000 .

[12] Chris Miller,et al. A growth dichotomy for o-minimal expansions of ordered groups , 1998 .

[13] Michael C. Laskowski,et al. On o-minimal expansions of Archimedean ordered groups , 1995, Journal of Symbolic Logic.

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