{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,7]],"date-time":"2025-07-07T11:40:11Z","timestamp":1751888411243,"version":"3.41.0"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2025,3,13]],"date-time":"2025-03-13T00:00:00Z","timestamp":1741824000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,3,13]],"date-time":"2025-03-13T00:00:00Z","timestamp":1741824000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2025,7]]},"DOI":"10.1007\/s00153-024-00963-0","type":"journal-article","created":{"date-parts":[[2025,3,13]],"date-time":"2025-03-13T02:42:36Z","timestamp":1741833756000},"page":"877-892","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Restricted analytic valued fields with partial exponentiation"],"prefix":"10.1007","volume":"64","author":[{"given":"Leonardo","family":"\u00c1ngel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8155-9951","authenticated-orcid":false,"given":"Xavier","family":"Caicedo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,3,13]]},"reference":[{"issue":"3\u20134","key":"963_CR1","first-page":"279","volume":"54","author":"M Aschenbrenner","year":"2013","unstructured":"Aschenbrenner, M., van den Dries, L., van der Hoeven, J.: Towards a model theory for transseries. Notre Dame J. Form. Log. 54(3\u20134), 279\u2013310 (2013)","journal-title":"Notre Dame J. Form. Log."},{"key":"963_CR2","doi-asserted-by":"crossref","unstructured":"Aschenbrenner, M., van den Dries, L., van der Hoeven, J.: Asymptotic Differential Algebra and Model Theory of Transseries. Ann. of Math. Stud. 195, Princeton University Press (2017)","DOI":"10.23943\/princeton\/9780691175423.001.0001"},{"key":"963_CR3","unstructured":"Baizhanov, B. S.: Expansion of an o-minimal model by unary convex predicates. Researches in theory of algebraic systems (Nurmagambetov, T., editor, in Russian), Karaganda State University, 3\u201323 (1995)"},{"issue":"3","key":"963_CR4","doi-asserted-by":"publisher","first-page":"1382","DOI":"10.2307\/2695114","volume":"66","author":"BS Baizhanov","year":"2001","unstructured":"Baizhanov, B.S.: Expansion of a model of a weakly o-minimal theory by a family of unary predicates. J. Symbolic Logic 66(3), 1382\u20131414 (2001)","journal-title":"J. Symbolic Logic"},{"key":"963_CR5","unstructured":"Chang, C., Keisler, H.: Model theory, (3rd ed.). Studies in Logic and the Foundation of Mathematics. North-Holland, Amsterdam, 73 (1990)"},{"key":"963_CR6","doi-asserted-by":"publisher","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. 128, 79\u2013138 (1988)","journal-title":"Ann. Math."},{"key":"963_CR7","doi-asserted-by":"publisher","first-page":"116","DOI":"10.2307\/2273866","volume":"52","author":"M Dickmann","year":"1987","unstructured":"Dickmann, M.: Elimination of quantifiers for ordered valuation rings. J. Symbol. Logic 52, 116\u2013128 (1987)","journal-title":"J. Symbol. Logic"},{"key":"963_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-65505-0","volume-title":"Valuation Theory","author":"O Endler","year":"1972","unstructured":"Endler, O.: Valuation Theory. Springer, New York (1972)"},{"key":"963_CR9","unstructured":"Engler, A., Prestel A.: Valued Fields. Springer Monographs in Mathematics (2205)"},{"key":"963_CR10","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/BF01075680","volume":"2","author":"A Gabrielov","year":"1968","unstructured":"Gabrielov, A.: Projections of semi-analytic sets. Func. Anal. Appl. 2, 282\u2013291 (1968)","journal-title":"Func. Anal. Appl."},{"issue":"3","key":"963_CR11","doi-asserted-by":"publisher","first-page":"368","DOI":"10.2178\/bsl\/1344861887","volume":"18","author":"D Haskell","year":"2012","unstructured":"Haskell, D.: Model theory of analytic functions: some historical comments. Bull. Symbol. Logic 18(3), 368\u2013381 (2012)","journal-title":"Bull. Symbol. Logic"},{"key":"963_CR12","unstructured":"Hodges, W.: Model theory. Encyclopedia of Mathematics and its Applications. Cambridge University Press (1993)"},{"key":"963_CR13","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/BF01375519","volume":"34","author":"S Kuhlmann","year":"1995","unstructured":"Kuhlmann, S.: On the structure of nonarchimedean exponential fields I. Arch. Math. Logic 34, 145\u2013182 (1995)","journal-title":"Arch. Math. Logic"},{"key":"963_CR14","doi-asserted-by":"crossref","unstructured":"Kuhlmann, S.: Ordered exponential fields. The Fields Institute Monograph Series, Vol. 12, AMS Publications, 164 pages (2000)","DOI":"10.1090\/fim\/012"},{"key":"963_CR15","doi-asserted-by":"publisher","first-page":"3177","DOI":"10.1090\/S0002-9939-97-03964-6","volume":"125","author":"F Kuhlmann","year":"1997","unstructured":"Kuhlmann, F., Kuhlmann, S., Shelah, S.: Exponentiation in power series fields. Proc. Am. Math. Soc. 125, 3177\u20133183 (1997)","journal-title":"Proc. Am. Math. Soc."},{"key":"963_CR16","doi-asserted-by":"crossref","unstructured":"Kuhlmann, F., Kuhlmann, S.: The exponential rank of nonarchimedean exponential fields. Delzell and Madden (eds): Real algebraic geometry and ordered structures. Contemp. Math. 253: 181\u2013201 (2000)","DOI":"10.1090\/conm\/253\/03931"},{"issue":"1","key":"963_CR17","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1090\/S0273-0979-1984-15249-2","volume":"11","author":"A Pillay","year":"1984","unstructured":"Pillay, A., Steinhorn, C.: Definable sets in ordered structures. Bull. Am. Math. Soc. 11(1), 159\u2013162 (1984)","journal-title":"Bull. Am. Math. Soc."},{"key":"963_CR18","unstructured":"Sacks, G.: Saturated model theory. W. A, Benjamin Inc, Reading, Mass (1972)"},{"issue":"3","key":"963_CR19","doi-asserted-by":"publisher","first-page":"905","DOI":"10.2307\/2274580","volume":"53","author":"P Scowcroft","year":"1988","unstructured":"Scowcroft, P.: A note on definable Skolem functions. J. Symbol. Logic 53(3), 905\u2013911 (1988)","journal-title":"J. Symbol. Logic"},{"key":"963_CR20","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1090\/S0273-0979-1986-15468-6","volume":"15","author":"L van den Dries","year":"1986","unstructured":"van den Dries, L.: A generalization of the Tarski-Seidenberg theorem, and some nondefinability results. Bull. AMS. 15, 189\u2013193 (1986)","journal-title":"Bull. AMS."},{"issue":"1","key":"963_CR21","doi-asserted-by":"publisher","first-page":"183","DOI":"10.2307\/2118545","volume":"140","author":"L van den Dries","year":"1994","unstructured":"van den Dries, L., Macintyre, A., Marker, D.: The elementary theory of restricted analytic fields with exponentiation. Ann. Math. 140(1), 183\u2013205 (1994)","journal-title":"Ann. Math."},{"issue":"1","key":"963_CR22","doi-asserted-by":"publisher","first-page":"74","DOI":"10.2307\/2275510","volume":"60","author":"L van den Dries","year":"1995","unstructured":"van den Dries, L., Lewenberg, A.: T-Convexity and tame extensions. J. Symbol. Logic 60(1), 74\u2013102 (1995)","journal-title":"J. Symbol. Logic"},{"issue":"2","key":"963_CR23","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1112\/S0024610797005437","volume":"56","author":"L van den Dries","year":"1997","unstructured":"van den Dries, L., Macintyre, A., Marker, D.: Logarithmic-Exponential Power Series. J. London Math. Soc. 56(2), 417\u2013434 (1997)","journal-title":"J. London Math. Soc."},{"key":"963_CR24","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-642-54936-6_4","volume":"2111","author":"L van den Dries","year":"2014","unstructured":"van den Dries, L.: Lectures on the model theory of valued fields. Lect. Notes Math. 2111, 55\u2013157 (2014)","journal-title":"Lect. Notes Math."},{"issue":"4","key":"963_CR25","doi-asserted-by":"publisher","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. Amer. Math. Soc. 9(4), 1051\u20131094 (1996)","journal-title":"J. Amer. Math. Soc."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-024-00963-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-024-00963-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-024-00963-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,7]],"date-time":"2025-07-07T11:05:38Z","timestamp":1751886338000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-024-00963-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3,13]]},"references-count":25,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2025,7]]}},"alternative-id":["963"],"URL":"https:\/\/doi.org\/10.1007\/s00153-024-00963-0","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2025,3,13]]},"assertion":[{"value":"26 March 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 December 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 March 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}