Hostname: page-component-77c89778f8-5wvtr Total loading time: 0 Render date: 2024-07-17T06:55:22.514Z Has data issue: false hasContentIssue false
  • English
  • Français

Expansions of o-minimal structures by fast sequences

Published online by Cambridge University Press:  12 March 2014

Harvey Friedman  and
Chris Miller
Harvey Friedman
Affiliation:
Department of Mathematics, The Ohio State University, 231 West 18th Avenue Columbus, Ohio 43210, USA, E-mail: friedman@math.ohio-state.edu, URL: www.math.ohio-state.edu/~friedman
Chris Miller
Affiliation:
Department of Mathematics, The Ohio State University, 231 West 18th Avenue Columbus, Ohio 43210., USA, E-mail: miller@math.ohio-state.edu, URL: http://www.math.ohio-state.edu/~miller
Get access Rights & Permissions [Opens in a new window]

Abstract

Let ℝ be an o-minimal expansion of (ℝ, <, +) and (ϕk)kЄℕ be a sequence of positive real numbers such that limtk →+∞ 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 ϕ.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 70 , Issue 2 , June 2005 , pp. 410 - 418
Copyright
Copyright © Association for Symbolic Logic 2005

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1] van den dries, L., The field of reals with a predicate for the powers of two, Manuscripta Mathematica, vol. 54 (1985), no. 1-2, pp. 187–195.Google Scholar
[2] van den dries, L., o-minimal structures, Logic: from foundations to applications (Staffordshire, 1993), Oxford Science Publications, Oxford Univ. Press, New York, 1996, pp. 137–185.Google Scholar
[3] van den dries, L., Tame topology and o-minimal structures, London Mathematical Society Lecture Note Series, vol. 248, Cambridge University Press, Cambridge, 1998.CrossRefGoogle Scholar
[4] van den dries, L., o-minimal structures and real analytic geometry, Current developments in mathematics, 1998 (Cambridge, MA), International Press, Somerville, MA, 1999, pp. 105–152.Google Scholar
[5] van den Dries, L. and Miller, C., Geometric categories and o-minimal structures, Duke Mathematical Journal, vol. 84 (1996), no. 2, pp. 497–540.Google Scholar
[6] van den Dries, L. and Speissegger, P., The real field with convergent generalized power series, Transactions of the American Mathematical Society, vol. 350 (1998), no. 11, pp. 4377–4421.CrossRefGoogle Scholar
[7] van den Dries, L. and Speissegger, P., The field of reals with multisummable series and the exponential function, Proceedings of the London Mathematical Society. Third Series, vol. 81 (2000), no. 3, pp. 513–565.Google Scholar
[8] Friedman, H. and Miller, C., Expansions of o-minimal structures by sparse sets, Fundamenta Mathematicae, vol. 167 (2001), no. 1, pp. 55–64.Google Scholar
[9] Kechris, A., Classical descriptive set theory, Graduate Texts in Mathematics, vol. 156, Springer-Verlag, New York, 1995.Google Scholar
[10] Laskowski, M. and Steinhorn, C., On o-minimal expansions of Archimedean ordered groups, this Journal, vol. 60 (1995). no. 3, pp. 817–831.Google Scholar
[11] Miller, C., Expansions of the real field with power functions, Annals of Pure and Applied Logic, vol. 68 (1994), no. 1, pp. 79–94.CrossRefGoogle Scholar
[12] Miller, C., Exponentiation is hard to avoid, Proceedings of the American Mathematical Society, vol. 122 (1994), no. 1, pp. 257–259.Google Scholar
[13] Miller, C., Tameness in expansions of the real field, Logic colloquium '01 (Baaz, M. et al., editors). Lecture Notes in Logic, vol. 20, AK Peters, 2005, pp. 281–316.Google Scholar
[14] Miller, C., Avoiding the projective hierarchy in expansions of the real field by sequences, Proceedings of the American Mathematical Society, to appear.Google Scholar
[15] Miller, C. and Starchenko, S., A growth dichotomy for o-minimal expansions of ordered groups, Transactions of the American Mathematical Society, vol. 350 (1998). no. 9, pp. 3505–3521.Google Scholar
[16] Miller, C. and Tyne, J., Expansions of o-minimal structures by iteration sequences, Notre Dame Journal of Formal Logic, to appear.Google Scholar
[17] Peterzil, Y., A structure theorem for semibounded sets in the reals, this Journal, vol. 57 (1992). no. 3, pp. 779–794.Google Scholar
[18] Poston, R., Defining multiplication in o-minimal expansions of the additive reals, this Journal, vol. 60 (1995), no. 3, pp. 797–816.Google Scholar
[19] Rolin, J.-P., Speissegger, P., and Wilkie, A., Quasianalytic Denjoy-Carleman classes and o-minimality, Journal of the American Mathematical Society, vol. 16 (2003), no. 4, pp. 751–777 (electronic).Google Scholar
[20] Speissegger, P., The Pfaffian closure of an o-minimal structure, Journal für die Reine und Angewandte Mathematik, vol. 508 (1999). pp. 189–211.Google Scholar