Expansions of the Real Field by Canonical Products

Miller, Chris ; Speissegger, Patrick

Canadian mathematical bulletin, Tome 63 (2020) no. 3, pp. 506-521

Résumé

We consider expansions of o-minimal structures on the real field by collections of restrictions to the positive real line of the canonical Weierstrass products associated with sequences such as $(-n^{s})_{n>0}$ (for $s>0$) and $(-s^{n})_{n>0}$ (for $s>1$), and also expansions by associated functions such as logarithmic derivatives. There are only three possible outcomes known so far: (i) the expansion is o-minimal (that is, definable sets have only finitely many connected components); (ii) every Borel subset of each $\mathbb{R}^{n}$ is definable; (iii) the expansion is interdefinable with a structure of the form $(\mathfrak{R}^{\prime },\unicode[STIX]{x1D6FC}^{\mathbb{Z}})$ where $\unicode[STIX]{x1D6FC}>1$, $\unicode[STIX]{x1D6FC}^{\mathbb{Z}}$ is the set of all integer powers of $\unicode[STIX]{x1D6FC}$, and $\mathfrak{R}^{\prime }$ is o-minimal and defines no irrational power functions.

Détail

DOI : 10.4153/S0008439519000572

Mots-clés : o-minimal, d-minimal, Assouad dimension, Weierstrass product, Gevrey asymptotics

Bibliographie

[1] Balser, W., Formal power series and linear systems of meromorphic ordinary differential equations. Universitext, Springer-Verlag, New York, 2000. Google Scholar

[2] Bank, S. B., On certain canonical products which cannot satisfy algebraic differential equations. Funkcial. Ekvac. 23(1980), 335–349. Google Scholar

[3] Bank, S. B. and Kaufman, R. P., An extension of Hölder’s theorem concerning the Gamma function. Funkcial. Ekvac. 19(1976), 53–63. Google Scholar

[4] Barnes, E. W., The asymptotic expansion of integral functions of finite non-zero order. Proc. London Math. Soc. (2) 3(1905), 273–295. https://doi.org/10.1112/plms/s2-3.1.273 Google Scholar | DOI

[5] Dries, L. Van Den, Dense pairs of o-minimal structures. Fund. Math. 157(1998), 61–78. Google Scholar | DOI

[6] Dries, L. Van Den, Macintyre, A., and Marker, D., Logarithmic-exponential power series. J. London Math. Soc. (2) 56(1997), 417–434. https://doi.org/10.1112/S0024610797005437 Google Scholar | DOI

[7] Van Den Dries, L. and Miller, C., Geometric categories and o-minimal structures. Duke Math. J. 84(1996), 497–540. https://doi.org/10.1215/S0012-7094-96-08416-1 Google Scholar | DOI

[8] Dries, L. Van Den and Speissegger, P., The real field with convergent generalized power series. Trans. Amer. Math. Soc. 350(1998), 4377–4421. https://doi.org/10.1090/S0002-9947-98-02105-9 Google Scholar | DOI

[9] Van Den Dries, L. and Speissegger, P., The field of reals with multisummable series and the exponential function. Proc. London Math. Soc. (3) 81(2000), 513–565. . Google Scholar | DOI

[10] Ford, W. B., Studies on divergent series and summability and the asymptotic developments of functions defined by Maclaurin series. Chelsea Publishing Co., New York, 1960. Google Scholar

[11] Friedman, H. and Miller, C., Expansions of o-minimal structures by fast sequences. J. Symbolic Logic 70(2005), 410–418. https://doi.org/10.2178/jsl/1120224720 Google Scholar | DOI

[12] Hieronymi, P., Defining the set of integers in expansions of the real field by a closed discrete set. Proc. Amer. Math. Soc. 138(2010), 2163–2168. https://doi.org/10.1090/S0002-9939-10-10268-8 Google Scholar | DOI

[13] Hieronymi, P., Expansions of subfields of the real field by a discrete set. Fund. Math. 215(2011), 167–175. https://doi.org/10.4064/fm215-2-4 Google Scholar | DOI

[14] Hieronymi, P. and Miller, C., Metric dimensions and tameness in expansions of the real field. Trans. Amer. Math. Soc. 373(2020), 849–874. https://doi.org/10.1090/tran/7691 Google Scholar | DOI

[15] Kechris, A. S., Classical descriptive set theory. Graduate Texts in Mathematics, 156, Springer-Verlag, New York, 1995. https://doi.org/10.1007/978-1-4612-4190-4 Google Scholar | DOI

[16] Kuhlmann, F.-V. and Kuhlmann, S., Valuation theory of exponential Hardy fields. I. Math. Z. 243(2003), 671–688. https://doi.org/10.1007/s00209-002-0460-4 Google Scholar | DOI

[17] Littlewood, J. E., On the asymptotic approximation to integral functions of zero order. Proc. London Math. Soc. (2) 5(1907), 361–410. https://doi.org/10.1112/plms/s2-5.1.361 Google Scholar | DOI

[18] Marker, D. and Miller, C., Levelled o-minimal structures. Real algebraic and analytic geometry (Segovia, 1995). Rev. Mat. Univ. Complut. Madrid 10(1997), 241–249. Google Scholar

[19] Miller, C., Tameness in expansions of the real field. In: Logic Colloquium ’01. Lect. Notes Log., 20, Assoc. Symbol. Logic, Urbana, IL, 2005, pp. 281–316. https://doi.org/10.1017/9781316755860.012 Google Scholar

[20] Miller, C., Avoiding the projective hierarchy in expansions of the real field by sequences. Proc. Amer. Math. Soc. 134(2006), 1483–1493. https://doi.org/10.1090/S0002-9939-05-08112-8 Google Scholar

[21] Miller, C., Expansions of o-minimal structures on the real field by trajectories of linear vector fields. Proc. Amer. Math. Soc. 139(2011), 319–330. https://doi.org/10.1090/S0002-9939-2010-10506-3 Google Scholar | DOI

[22] Miller, C., Basics of o-minimality and Hardy fields. In: Lecture notes on o-minimal structures and real analytic geometry. Fields Inst. Commun., 62, Springer, New York, 2012, pp. 43–69. https://doi.org/10.1007/978-1-4614-4042-0_2 Google Scholar | DOI

[23] Miller, C. and Speissegger, P., Expansions of the real line by open sets: o-minimality and open cores. Fund. Math. 162(1999), 193–208. Google Scholar

[24] Miller, C. and Thamrongthanyalak, A., D-minimal expansions of the real field have the zero set property. Proc. Amer. Math. Soc. 146(2018), 5169–5179. https://doi.org/10.1090/proc/14144 Google Scholar | DOI

[25] Nielsen, N., Die Gammafunktion. Band I. Handbuch der Theorie der Gammafunktion. Band II. Theorie des Integrallogarithmus und verwandter Transzendenten. Chelsea Publishing Co., New York, 1965. Google Scholar

[26] Remmert, R., Classical topics in complex function theory. Graduate Texts in Mathematics, 172, Springer-Verlag, New York, 1998. https://doi.org/10.1007/978-1-4757-2956-6 Google Scholar | DOI

[27] Sauzin, D., Introduction to 1-summability and resurgence. . Google Scholar

[28] Speissegger, P., The Pfaffian closure of an o-minimal structure. J. Reine Angew. Math. 508(1999), 189–211. https://doi.org/10.1515/crll.1999.026 Google Scholar

[29] Titchmarsh, E. C., Introduction to the theory of Fourier integrals. Second ed., Oxford Univ. Press, London and New York, 1948. Google Scholar

[30] Tychonievich, M. A., The set of restricted complex exponents for expansions of the reals. Notre Dame J. Form. Log. 53(2012), 175–186. https://doi.org/10.1215/00294527-1715671 Google Scholar | DOI

[31] Tychonievich, M. A., Tameness results for expansions of the real field by groups. Ph.D. thesis, The Ohio State University, ProQuest LLC, Ann Arbor, MI, 2013. Google Scholar