{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T11:14:47Z","timestamp":1758280487881},"reference-count":40,"publisher":"Duke University Press","issue":"3-4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2013,1,1]]},"DOI":"10.1215\/00294527-2143898","type":"journal-article","created":{"date-parts":[[2013,8,9]],"date-time":"2013-08-09T13:09:43Z","timestamp":1376053783000},"source":"Crossref","is-referenced-by-count":4,"title":["Toward a Model Theory for Transseries"],"prefix":"10.1215","volume":"54","author":[{"given":"Matthias","family":"Aschenbrenner","sequence":"first","affiliation":[]},{"given":"Lou","family":"van den Dries","sequence":"additional","affiliation":[]},{"given":"Joris","family":"van der Hoeven","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"18","unstructured":"[18] Fornasiero, A., \u201cTame structures and open cores,\u201d preprint, <a href=\"arXiv:1003.3557v1\">arXiv:1003.3557v1<\/a> [math.LO]"},{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] Aschenbrenner, M., and L. van den Dries, \u201cClosed asymptotic couples,\u201d <i>Journal of Algebra<\/i>, vol. 225 (2000), pp. 309\u201358.","DOI":"10.1006\/jabr.1999.8128"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] Aschenbrenner, M., and L. van den Dries, \u201c$H$-fields and their Liouville extensions,\u201d <i>Mathematische Zeitschrift<\/i>, vol. 242 (2002), pp. 543\u201388.","DOI":"10.1007\/s002090000358"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] Aschenbrenner, M., and L. van den Dries, \u201cAsymptotic differential algebra,\u201d pp. 49\u201385 in <i>Analyzable Functions and Applications<\/i>, edited by O. Costin, M. D. Kruskal, and A. Macintyre, vol. 373 of Contemporary Mathematics, American Mathematical Society, Providence, 2005.","DOI":"10.1090\/conm\/373\/06914"},{"key":"4","unstructured":"[4] Aschenbrenner, M., and L. van den Dries, \u201cLiouville closed $H$-fields,\u201d <i>Journal of Pure and Applied Algebra<\/i>, vol. 197 (2005), pp. 83\u2013139."},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] Aschenbrenner, M., L. van den Dries, and J. van der Hoeven, \u201cDifferentially algebraic gaps,\u201d <i>Selecta Mathematica<\/i>, vol. 11 (2005), pp. 247\u201380.","DOI":"10.1007\/s00029-005-0010-0"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] Ax, J., and S. Kochen, \u201cDiophantine problems over local fields, I,\u201d <i>American Journal of Mathematics<\/i>, vol. 87 (1965), pp. 605\u201330.","DOI":"10.2307\/2373065"},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] Ax, J., and S. Kochen, \u201cDiophantine problems over local fields, III: Decidable fields,\u201d <i>Annals of Mathematics (2)<\/i>, vol. 83 (1966), pp. 437\u201356.","DOI":"10.2307\/1970476"},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] Azgin, S., and L. van den Dries, \u201cElementary theory of valued fields with a valuation-preserving automorphism,\u201d <i>Journal of the Institute of Mathematics of Jussieu<\/i>, vol. 10 (2011), pp. 1\u201335.","DOI":"10.1017\/S1474748010000174"},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] B\u00e9lair, L., A. Macintyre, and T. Scanlon, \u201cModel theory of the Frobenius on the Witt vectors,\u201d <i>American Journal of Mathematics<\/i>, vol. 129 (2007), pp. 665\u2013721.","DOI":"10.1353\/ajm.2007.0018"},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] Borel, \u00c9., \u201cM\u00e9moire sur les s\u00e9ries divergentes,\u201d <i>Annales Scientifiques de l\u2019\u00c9cole Normale Sup\u00e9rieure (3)<\/i>, vol. 16 (1899), pp. 9\u2013131.","DOI":"10.24033\/asens.463"},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] M. Boshernitzan, \u201cNew \u2018orders of infinity,\u201d\u2019 <i>Journal d\u2019Analyse Math\u00e9matique<\/i>, vol. 41 (1982), pp. 130\u201367.","DOI":"10.1007\/BF02803397"},{"key":"12","doi-asserted-by":"crossref","unstructured":"[12] Dahn, B., and P. G\u00f6ring, \u201cNotes on exponential-logarithmic terms,\u201d <i>Fundamenta Mathematica<\/i>, vol. 127 (1987), pp. 45\u201350.","DOI":"10.4064\/fm-127-1-45-50"},{"key":"13","doi-asserted-by":"crossref","unstructured":"[13] Denef, J., and L. Lipshitz, \u201cPower series solutions of algebraic differential equations,\u201d <i>Mathematische Annalen<\/i>, vol. 267 (1984), pp. 213\u201338.","DOI":"10.1007\/BF01579200"},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] du Bois-Reymond, P., \u201cUeber asymptotische Werthe, infinit\u00e4re Approximationen und infinit\u00e4re Aufl\u00f6sung von Gleichungen,\u201d <i>Mathematische Annalen<\/i>, vol. 8 (1875), pp. 362\u2013414.","DOI":"10.1007\/BF01443187"},{"key":"15","unstructured":"[15] \u00c9calle, J., <i>Introduction aux Fonctions Analysables et Preuve Constructive de la Conjecture de Dulac<\/i>, Actualit\u00e9s Math\u00e9matiques, Hermann, Paris, 1992."},{"key":"16","doi-asserted-by":"crossref","unstructured":"[16] Edgar, G. A., \u201cTransseries for beginners,\u201d <i>Real Analysis Exchange<\/i>, vol. 35 (2010), pp. 253\u2013309.","DOI":"10.14321\/realanalexch.35.2.0253"},{"key":"17","unstructured":"[17] Er\u0161ov, Ju. L., \u201cOn the elementary theory of maximal normed fields,\u201d <i>Soviet Math. Doklady<\/i>, vol. 6 (1965), pp. 1390\u201393."},{"key":"19","doi-asserted-by":"crossref","unstructured":"[19] Guzy, N., and F. Point, \u201cTopological differential fields,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 161 (2010), pp. 570\u201398.","DOI":"10.1016\/j.apal.2009.08.001"},{"key":"20","unstructured":"[20] Hardy, G. H., <i>Orders of Infinity<\/i>, 2nd edition, Cambridge University Press, Cambridge, 1924."},{"key":"21","unstructured":"[21] Hille, E., <i>Ordinary Differential Equations in the Complex Domain<\/i>, Pure and Applied Mathematics, Wiley-Interscience, New York, 1976."},{"key":"22","doi-asserted-by":"crossref","unstructured":"[22] Hrushovski, E., K. Peterzil, and A. Pillay, \u201cGroups, measures, and the NIP,\u201d <i>Journal of the American Mathematical Society<\/i>, vol. 21 (2008), pp. 563\u201396.","DOI":"10.1090\/S0894-0347-07-00558-9"},{"key":"23","doi-asserted-by":"crossref","unstructured":"[23] Kuhlmann, F.-V., S. Kuhlmann, and S. Shelah, \u201cExponentiation in power series fields,\u201d <i>Proceedings of the American Mathematical Society<\/i>, vol. 125 (1997), pp. 3177\u201383.","DOI":"10.1090\/S0002-9939-97-03964-6"},{"key":"24","doi-asserted-by":"crossref","unstructured":"[24] Ressayre, J.-P., \u201cLa th\u00e9orie des mod\u00e8les, et un petit probl\u00e8me de Hardy,\u201d pp. 925\u201338 in <i>Development of Mathematics 1950\u20132000<\/i>, edited by J.-P. Pier, Birkh\u00e4user, Basel, 2000.","DOI":"10.1007\/978-3-0348-8968-1_31"},{"key":"25","doi-asserted-by":"crossref","unstructured":"[25] Rosenlicht, M., \u201cOn the value group of a differential valuation,\u201d <i>American Journal of Mathematics<\/i>, vol. 101 (1979), pp. 258\u201366.","DOI":"10.2307\/2373949"},{"key":"26","doi-asserted-by":"crossref","unstructured":"[26] Rosenlicht, M., \u201cDifferential valuations,\u201d <i>Pacific Journal of Mathematics<\/i>, vol. 86 (1980), pp. 301\u201319.","DOI":"10.2140\/pjm.1980.86.301"},{"key":"27","doi-asserted-by":"crossref","unstructured":"[27] Rosenlicht, M., \u201cOn the value group of a differential valuation, II,\u201d <i>American Journal of Mathematics<\/i>, vol. 103 (1981), pp. 977\u201396.","DOI":"10.2307\/2374255"},{"key":"28","doi-asserted-by":"crossref","unstructured":"[28] Rosenlicht, M., \u201cThe rank of a Hardy field,\u201d <i>Transactions of the American Mathematical Society<\/i>, vol. 280 (1983), pp. 659\u201371.","DOI":"10.1090\/S0002-9947-1983-0716843-5"},{"key":"29","doi-asserted-by":"crossref","unstructured":"[29] Rosenlicht, M., \u201cAsymptotic solutions of $Y''=F(x)Y$,\u201d <i>Journal of Mathematical Analysis and Applications<\/i>, vol. 189(1995), pp. 640\u201350.","DOI":"10.1006\/jmaa.1995.1042"},{"key":"30","doi-asserted-by":"crossref","unstructured":"[30] Scanlon, T., \u201cA model complete theory of valued $D$-fields,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 65 (2000), pp. 1758\u201384.","DOI":"10.2307\/2695074"},{"key":"31","doi-asserted-by":"crossref","unstructured":"[31] Shelah, S., \u201cStability, the f.c.p., and superstability: Model theoretic properties of formulas in first-order theories,\u201d <i>Annals of Mathematical Logic<\/i>, vol. 3 (1971), pp. 271\u2013362.","DOI":"10.1016\/0003-4843(71)90015-5"},{"key":"32","unstructured":"[32] van den Dries, L., \u201cLimit sets in o-minimal structures,\u201d pp. 172\u2013215 in <i>Proceedings of the RAAG Summer School Lisbon 2003: O-Minimal Structures<\/i>, Lecture Notes in Real Algebraic and Analytic Geometry, Cuvillier, G\u00f6ttingen, 2005."},{"key":"33","doi-asserted-by":"crossref","unstructured":"[33] van den Dries, L., and A. Lewenberg, \u201c$T$-convexity and tame extensions,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 60 (1995), pp. 74\u2013102.","DOI":"10.2307\/2275510"},{"key":"34","doi-asserted-by":"crossref","unstructured":"[34] van den Dries, L., A. Macintyre, and D. Marker, \u201cLogarithmic-exponential power series,\u201d <i>Journal of the London Mathematical Society (2)<\/i>, vol. 56 (1997), pp. 417\u201334.","DOI":"10.1112\/S0024610797005437"},{"key":"35","doi-asserted-by":"crossref","unstructured":"[35] van den Dries, L., A. Macintyre, and D. Marker, \u201cLogarithmic-exponential series,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 111(2001), pp. 61\u2013113.","DOI":"10.1016\/S0168-0072(01)00035-5"},{"key":"36","unstructured":"[36] van der Hoeven, J., \u201cAsymptotique Automatique,\u201d thesis, \u00c9cole Polytechnique, Paris, 1997."},{"key":"37","doi-asserted-by":"crossref","unstructured":"[37] van der Hoeven, J., \u201cOperators on generalized power series,\u201d <i>Illinois Journal of Mathematics<\/i>, vol. 45(2001), pp. 1161\u201390.","DOI":"10.1215\/ijm\/1258138061"},{"key":"38","unstructured":"[38] van der Hoeven, J., <i>Transseries and Real Differential Algebra<\/i>, vol. 1888 of <i>Lecture Notes in Mathematics<\/i>, Springer, Berlin, 2002."},{"key":"39","unstructured":"[39] van der Hoeven, J., \u201cTransserial Hardy fields,\u201d pp. 453\u201387 in <i>Differential Equations and Singularities. 60 years of J.M. Aroca<\/i>, edited by F. Cano et al., vol. 323 of <i>Ast\u00e9risque<\/i>, Societ\u00e9 Math\u00e9matique de France, Montrouge, 2009."},{"key":"40","unstructured":"[40] Wilkie, A., \u201cModel completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function,\u201d <i>Journal of the American Mathematical Society<\/i>, vol. 9 (1996), pp. 1051\u201394."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2143898","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:58:08Z","timestamp":1706648288000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-54\/issue-3-4\/Toward-a-Model-Theory-for-Transseries\/10.1215\/00294527-2143898.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,1]]},"references-count":40,"journal-issue":{"issue":"3-4","published-online":{"date-parts":[[2013,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2143898","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2013,1,1]]}}}