{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,19]],"date-time":"2024-05-19T00:29:36Z","timestamp":1716078576273},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2013,9,24]],"date-time":"2013-09-24T00:00:00Z","timestamp":1379980800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2014,2]]},"DOI":"10.1007\/s00153-013-0356-5","type":"journal-article","created":{"date-parts":[[2013,9,23]],"date-time":"2013-09-23T05:26:21Z","timestamp":1379913981000},"page":"65-87","source":"Crossref","is-referenced-by-count":0,"title":["Transseries and Todorov\u2013Vernaeve\u2019s asymptotic fields"],"prefix":"10.1007","volume":"53","author":[{"given":"Matthias","family":"Aschenbrenner","sequence":"first","affiliation":[]},{"given":"Isaac","family":"Goldbring","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,9,24]]},"reference":[{"key":"356_CR1","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1007\/s002090000358","volume":"242","author":"M. Aschenbrenner","year":"2002","unstructured":"Aschenbrenner M., van den Dries L.: H-fields and their Liouville extensions. Math. Z. 242, 543\u2013588 (2002)","journal-title":"Math. Z."},{"key":"356_CR2","doi-asserted-by":"crossref","unstructured":"Aschenbrenner, M., van den Dries, L., van der Hoeven, J.: Towards a model theory of transseries. Notre Dame J. Form. Log. 54 (3-4), 279\u2013310 (2013)","DOI":"10.1215\/00294527-2143898"},{"key":"356_CR3","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/s00029-005-0010-0","volume":"11","author":"M. Aschenbrenner","year":"2005","unstructured":"Aschenbrenner M., van den Dries L., van der Hoeven J.: Differentially algebraic gaps. Selecta Math. 11, 247\u2013280 (2005)","journal-title":"Selecta Math."},{"key":"356_CR4","doi-asserted-by":"crossref","first-page":"468","DOI":"10.1112\/plms\/pdq029","volume":"102","author":"M. Aschenbrenner","year":"2011","unstructured":"Aschenbrenner M., Fischer A.: Definable versions of theorems by Kirszbraun and Helly. Proc. Lond. Math. Soc. 102, 468\u2013502 (2011)","journal-title":"Proc. Lond. Math. Soc."},{"key":"356_CR5","doi-asserted-by":"crossref","first-page":"45","DOI":"10.4064\/fm-127-1-45-50","volume":"127","author":"B. Dahn","year":"1986","unstructured":"Dahn B., G\u00f6ring P.: Notes on exponential-logarithmic terms. Fund. Math. 127, 45\u201350 (1986)","journal-title":"Fund. Math."},{"issue":"1","key":"356_CR6","doi-asserted-by":"crossref","first-page":"79","DOI":"10.2307\/1971463","volume":"128","author":"J. Denef","year":"1988","unstructured":"Denef J., van den Dries L.: p-adic and real subanalytic sets. Ann. Math. (2) 128(1), 79\u2013138 (1988)","journal-title":"Ann. Math. (2)"},{"key":"356_CR7","unstructured":"\u00c9calle J.: Introduction aux Fonctions Analysables et Preuve Constructive de la Conjecture de Dulac Actualit\u00e9s Math\u00e9matiques, Hermann, Paris (1992)"},{"issue":"1","key":"356_CR8","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/BF01229956","volume":"25","author":"P. Ehrlich","year":"1988","unstructured":"Ehrlich P.: An alternative construction of Conway\u2019s ordered field No. Algebra Universalis 25(1), 7\u201316 (1988)","journal-title":"Algebra Universalis"},{"issue":"1","key":"356_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2178\/bsl\/1327328438","volume":"18","author":"P. Ehrlich","year":"2012","unstructured":"Ehrlich P.: The absolute arithmetic continuum and the unification of all numbers great and small. Bull. Symbol. Log. 18(1), 1\u201345 (2012)","journal-title":"Bull. Symbol. Log."},{"issue":"1\u20132","key":"356_CR10","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/BF01895655","volume":"30","author":"J. Esterle","year":"1977","unstructured":"Esterle J.: Solution d\u2019un probl\u00e8me d\u2019Erd\u0151s, Gillman et Henriksen et application \u00e0 l\u2019\u00e9tude des homomorphismes de $${\\mathcal{C}(K)}$$ C ( K ) . Acta Math. Acad. Sci. Hung. 30(1\u20132), 113\u2013127 (1977)","journal-title":"Acta Math. Acad. Sci. Hung."},{"key":"356_CR11","doi-asserted-by":"crossref","unstructured":"Gonshor, H.: An Introduction to the theory of surreal numbers. In: London Mathematical Society Lecture Note Series, vol. 110. Cambridge University Press, Cambridge (1986)","DOI":"10.1017\/CBO9780511629143"},{"key":"356_CR12","unstructured":"Grigoriev, A.: On o-minimality of extensions of the real field by restricted generic smooth functions. (Preprint, available online at arXiv.org:math\/0506109) (2005)"},{"key":"356_CR13","unstructured":"Hahn, H.: \u00dcber die nichtarchimedischen Gr\u00f6\u00dfensysteme. S.-B. Akad. Wiss. Wien, Math.-Naturw. Kl. Abt. IIa 116, 601\u2013655 (1907)"},{"key":"356_CR14","unstructured":"Hodges, W.: Model Theory, Encyclopedia of Mathematics and its Applications, vol. 42. Cambridge University Press, Cambridge (1993)"},{"key":"356_CR15","first-page":"314","volume":"286\/287","author":"M. Knebusch","year":"1976","unstructured":"Knebusch M., Wright M.: Bewertungen mit reeller Henselisierung. J. Reine Angew. Math. 286\/287, 314\u2013321 (1976)","journal-title":"J. Reine Angew. Math."},{"issue":"2","key":"356_CR16","doi-asserted-by":"crossref","first-page":"593","DOI":"10.1090\/S0002-9947-1986-0833698-1","volume":"295","author":"J. Knight","year":"1986","unstructured":"Knight J., Pillay A., Steinhorn C.: Definable sets in ordered structures II. Trans. Am. Math. Soc. 295(2), 593\u2013605 (1986)","journal-title":"Trans. Am. Math. Soc."},{"key":"356_CR17","doi-asserted-by":"crossref","first-page":"3177","DOI":"10.1090\/S0002-9939-97-03964-6","volume":"125","author":"F.-V. Kuhlmann","year":"1997","unstructured":"Kuhlmann F.-V., Kuhlmann S., Shelah S.: Exponentiation in power series fields. Proc. Am. Math. Soc. 125, 3177\u20133183 (1997)","journal-title":"Proc. Am. Math. Soc."},{"key":"356_CR18","doi-asserted-by":"crossref","unstructured":"Kuhlmann, S., Tressl, M.: Comparison of exponential-logarithmic and logarithmic-exponential series. Math. Logic Quart. 58(6), 434\u2013448 (2012)","DOI":"10.1002\/malq.201100113"},{"issue":"3\u20134","key":"356_CR19","doi-asserted-by":"crossref","first-page":"479","DOI":"10.5802\/afst.1252","volume":"19","author":"O. Le Gal","year":"2010","unstructured":"Le Gal O.: A generic condition implying o-minimality for restricted C \u221e-functions. Ann. Fac. Sci. Toulouse Math. (6) 19(3\u20134), 479\u2013492 (2010)","journal-title":"Ann. Fac. Sci. Toulouse Math. (6)"},{"key":"356_CR20","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1090\/S0002-9939-1994-1195484-5","volume":"122","author":"C. Miller","year":"1994","unstructured":"Miller C.: Exponentiation is hard to avoid. Proc. Am. Math. Soc. 122, 257\u2013259 (1994)","journal-title":"Proc. Am. Math. Soc."},{"key":"356_CR21","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1090\/S0002-9947-1986-0833697-X","volume":"295","author":"A. Pillay","year":"1986","unstructured":"Pillay A., Steinhorn C.: Definable sets in ordered structures I. Trans. Am. Math. Soc. 295, 565\u2013592 (1986)","journal-title":"Trans. Am. Math. Soc."},{"issue":"4","key":"356_CR22","doi-asserted-by":"crossref","first-page":"751","DOI":"10.1090\/S0894-0347-03-00427-2","volume":"16","author":"J.-P. Rolin","year":"2003","unstructured":"Rolin J.-P., Speissegger P., Wilkie J.A.: Quasianalytic Denjoy-Carleman classes and o-minimality. J. Am. Math. Soc. 16(4), 751\u2013777 (2003)","journal-title":"J. Am. Math. Soc."},{"key":"356_CR23","unstructured":"Schmeling, M.: Corps de Transs\u00e9ries. Ph.D. thesis, Universit\u00e9 Paris VII (2001)"},{"key":"356_CR24","unstructured":"Todorov, T., Vernaeve, H.: Asymptotic fields, generalized power series and special Colombeau algebras of generalized functions. (Manuscript) (2012)"},{"key":"356_CR25","unstructured":"Todorov, T., Vernaeve, H.: Generalized power series and non-standard analysis: between model theory and NSA, slides of a talk given at York University (August 2009). Available online at http:\/\/maths.york.ac.uk\/www\/sites\/default\/files\/Todo-rov-slides.pdf"},{"issue":"2","key":"356_CR26","doi-asserted-by":"crossref","first-page":"121","DOI":"10.4064\/fm194-2-2","volume":"194","author":"M. Tressl","year":"2007","unstructured":"Tressl M.: Super real closed rings. Fund. Math. 194(2), 121\u2013177 (2007)","journal-title":"Fund. Math."},{"key":"356_CR27","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1090\/S0273-0979-1986-15468-6","volume":"15","author":"L. Dries van den","year":"1986","unstructured":"van den Dries L.: A generalization of the Tarski-Seidenberg theorem, and some nondefinability results. Bull. Am. Math. Soc. 15, 189\u2013193 (1986)","journal-title":"Bull. Am. Math. Soc."},{"key":"356_CR28","doi-asserted-by":"crossref","unstructured":"van den Dries, L.: O-minimal Structures. In: Hodges, W. et\u00a0al. (eds.) Logic: from foundations to applications (Staffordshire, 1993), pp. 137\u2013185. Oxford Science Publications, The Clarendon Press, Oxford University Press, New York (1996)","DOI":"10.1093\/oso\/9780198538622.003.0007"},{"key":"356_CR29","doi-asserted-by":"crossref","unstructured":"van den Dries, L.: Tame Topology and O-Minimal Structures. London Math. Soc. Lecture Note Series, vol. 248. Cambridge University Press, Cambridge (1998)","DOI":"10.1017\/CBO9780511525919"},{"issue":"2","key":"356_CR30","doi-asserted-by":"crossref","first-page":"173","DOI":"10.4064\/fm167-2-3","volume":"167","author":"L. Dries van den","year":"2001","unstructured":"van den Dries L., Ehrlich P.: Fields of surreal numbers and exponentiation. Fund. Math. 167(2), 173\u2013188 (2001)","journal-title":"Fund. Math."},{"issue":"1","key":"356_CR31","doi-asserted-by":"crossref","first-page":"74","DOI":"10.2307\/2275510","volume":"60","author":"L. Dries van den","year":"1995","unstructured":"van den Dries L., Lewenberg A.: T-convexity and tame extensions. J. Symb. Log. 60(1), 74\u2013102 (1995)","journal-title":"J. Symb. Log."},{"key":"356_CR32","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/BF02758635","volume":"85","author":"L. Dries van den","year":"1994","unstructured":"van den Dries L., Miller C.: On the real exponential field with restricted analytic functions. Israel J. Math. 85, 19\u201356 (1994)","journal-title":"Israel J. Math."},{"key":"356_CR33","doi-asserted-by":"crossref","first-page":"183","DOI":"10.2307\/2118545","volume":"140","author":"L. Dries van den","year":"1994","unstructured":"van den Dries L., Macintyre A., Marker D.: The elementary theory of restricted analytic fields with exponentiation. Ann. Math. 140, 183\u2013205 (1994)","journal-title":"Ann. Math."},{"key":"356_CR34","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1112\/S0024610797005437","volume":"56","author":"L. Dries van den","year":"1997","unstructured":"van den Dries L., Macintyre A., Marker D.: Logarithmic-exponential power series. J. Lond. Math. Soc. 56, 417\u2013434 (1997)","journal-title":"J. Lond. Math. Soc."},{"key":"356_CR35","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/S0168-0072(01)00035-5","volume":"111","author":"L. Dries van den","year":"2001","unstructured":"van den Dries L., Macintyre A., Marker D.: Logarithmic-exponential series. Ann. Pure Appl. Log. 111, 61\u2013113 (2001)","journal-title":"Ann. Pure Appl. Log."},{"key":"356_CR36","unstructured":"van der Hoeven, J.: Asymptotique Automatique. Th\u00e8se, \u00c9cole Polytechnique, Paris (1997)"},{"key":"356_CR37","unstructured":"van der Hoeven, J.: Transseries and real differential algebra. In: Lecture Notes in Math., vol. 1888. Springer, Berlin (2002)"},{"key":"356_CR38","doi-asserted-by":"crossref","first-page":"1051","DOI":"10.1090\/S0894-0347-96-00216-0","volume":"9","author":"A. Wilkie","year":"1996","unstructured":"Wilkie A.: Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function. J. Am. Math. Soc. 9, 1051\u20131094 (1996)","journal-title":"J. Am. Math. Soc."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-013-0356-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-013-0356-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-013-0356-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,18]],"date-time":"2024-05-18T01:40:14Z","timestamp":1715996414000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-013-0356-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,24]]},"references-count":38,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2014,2]]}},"alternative-id":["356"],"URL":"https:\/\/doi.org\/10.1007\/s00153-013-0356-5","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,9,24]]}}}