Hostname: page-component-586b7cd67f-rcrh6 Total loading time: 0 Render date: 2024-11-24T09:24:52.205Z Has data issue: false hasContentIssue false
  • English
  • Français

Two remarks on polynomially bounded reducts of the restricted analytic field with exponentiation

Published online by Cambridge University Press:  11 January 2016

Serge Randriambololona
Serge Randriambololona*
Affiliation:
Galatasaray Ünivertisesi, Matematik Bölümü, Örtaköy/Istanbul, Turkey, [email protected], [email protected]
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

This article presents two constructions motivated by a conjecture of van den Dries and Miller concerning the restricted analytic field with exponentiation. The first construction provides an example of two o-minimal expansions of a real closed field that possess the same field of germs at infinity of one-variable functions and yet define different global one-variable functions. The second construction gives an example of a family of infinitely many distinct maximal polynomially bounded reducts (all this in the sense of definability) of the restricted analytic field with exponentiation.

Keywords

03C6432B20
Type
Research Article
Information
Nagoya Mathematical Journal , Volume 215 , September 2014 , pp. 225 - 237
Copyright
Copyright © Editorial Board of Nagoya Mathematical Journal 2014

References

[1] Gabrielov, A., Complements of subanalytic sets and existential formulas for analytic functions, Invent. Math. 125 (1996), 1–12. MR 1389958. DOI 10.1007/s002220050066.CrossRefGoogle Scholar
[2] Karpinski, M. and Macintyre, A., A generalization of Wilkie’s theorem of the complement, and an application to Pfaffian closure, Selecta Math. (N.S.) 5 (1999), 507–516. MR 1740680. DOI 10.1007/s000290050055.CrossRefGoogle Scholar
[3] Kuhlmann, F.-V. and Kuhlmann, S., Valuation theory of exponential Hardy fields, I, Math. Z. 243 (2003), 671–688. MR 1974578. DOI 10.1007/s00209–002-0460–4.CrossRefGoogle Scholar
[4] Gal, O. Le, A generic condition implying o-minimality for restricted C∞-functions, Ann. Fac. Sci. Toulouse Math. (6) 19 (2010), 479–492. MR 2790804.CrossRefGoogle Scholar
[5] Miller, C., Expansions of the real field with power functions, Ann. Pure Appl. Logic 68 (1994), 79–94. MR 1278550. DOI 10.1016/0168-0072(94)90048–5.CrossRefGoogle Scholar
[6] Miller, C., Exponentiation is hard to avoid, Proc. Amer. Math. Soc. 122 (1994), 257–259. MR 1195484. DOI 10.2307/2160869.CrossRefGoogle Scholar
[7] Nesin, A. and Pillay, A., Some model theory of compact Lie groups, Trans. Amer. Math. Soc. 326 (1991), no. 1, 453–463. MR 1002922. DOI 10.2307/2001873.Google Scholar
[8] Poizat, B., A Course in Model Theory: An Introduction to Contemporary Mathematical Logic, Springer, New York, 2000. MR 1757487. DOI 10.1007/978–1-4419–8622-1.CrossRefGoogle Scholar
[9] Randriambololona, S., o-Minimal structures: Low arity versus generation, Illinois J. Math. 49 (2005), 547–558. MR 2164352.CrossRefGoogle Scholar
[10] Soufflet, R., Asymptotic expansions of logarithmic-exponential functions, Bull. Braz. Math. Soc. (N.S.) 33 (2002), 125–146. MR 1934286. DOI 10.1007/s005740200005.Google Scholar
[11] van den Dries, L., Dense pairs of o-minimal structures, Fund. Math. 157 (1998), 61–78. MR 1623615.Google Scholar
[12] van den Dries, L., Tame Topology and o-Minimal Structures, London Math. Soc. LectureNote Ser. 248, Cambridge University Press, Cambridge, 1998. MR 1633348. DOI 10.1017/CBO9780511525919.Google Scholar
[13] van den Dries, L., Macintyre, A., and Marker, D., The elementary theory of restricted analytic fields with exponentiation, Ann. of Math. (2) 140 (1994), 183–205. MR 1289495. DOI 10.2307/2118545.Google Scholar
[14] van den Dries, L. and Miller, C., On the real exponential field with restricted analytic functions, Israel J. Math. 85 (1994), 19–56. MR 1264338. DOI 10.1007/BF02758635.Google Scholar
[15] van den Dries, L. and Miller, C., Geometric categories and o-minimal structures, Duke Math. J. 84 (1996), 497–540. MR 1404337. DOI 10.1215/S0012–7094-96–08416-1.Google Scholar