{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T02:58:42Z","timestamp":1780973922806,"version":"3.54.1"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2026,5,25]],"date-time":"2026-05-25T00:00:00Z","timestamp":1779667200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,5,25]],"date-time":"2026-05-25T00:00:00Z","timestamp":1779667200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100003407","name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca","doi-asserted-by":"publisher","award":["PRIN 2022"],"award-info":[{"award-number":["PRIN 2022"]}],"id":[{"id":"10.13039\/501100003407","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2026,6]]},"DOI":"10.1007\/s00153-026-01012-8","type":"journal-article","created":{"date-parts":[[2026,5,25]],"date-time":"2026-05-25T08:26:02Z","timestamp":1779697562000},"page":"569-591","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Relative model completeness of henselian valued fields with finite ramification and various value groups"],"prefix":"10.1007","volume":"65","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4902-6001","authenticated-orcid":false,"given":"Anna","family":"De Mase","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,5,25]]},"reference":[{"issue":"12","key":"1012_CR1","doi-asserted-by":"publisher","first-page":"8963","DOI":"10.1090\/tran\/9271","volume":"377","author":"S Anscombe","year":"2024","unstructured":"Anscombe, S., Dittmann, P., Jahnke, F.: Ax-Kochen-Ershov principles for finitely ramified henselian fields. Trans. Am. Math. Soc. 377(12), 8963\u20138988 (2024)","journal-title":"Trans. Am. Math. Soc."},{"issue":"2","key":"1012_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.5802\/cml.84","volume":"14","author":"S Anscombe","year":"2022","unstructured":"Anscombe, S., Jahnke, F.: The model theory of Cohen rings. Confluentes Math. 14(2), 1\u201328 (2022)","journal-title":"Confluentes Math."},{"issue":"7","key":"1012_CR3","doi-asserted-by":"publisher","first-page":"4641","DOI":"10.1090\/tran\/8661","volume":"375","author":"M Aschenbrenner","year":"2022","unstructured":"Aschenbrenner, M., Chernikov, A., Gehret, A., Ziegler, M.: Distality in valued fields and related structures. Trans. Amer. Math. Soc. 375(7), 4641\u20134710 (2022)","journal-title":"Trans. Amer. Math. Soc."},{"key":"1012_CR4","doi-asserted-by":"publisher","first-page":"605","DOI":"10.2307\/2373065","volume":"87","author":"J Ax","year":"1965","unstructured":"Ax, J., Kochen, S.: Diophantine problems over local fields I. Amer. J. Math. 87, 605\u2013630 (1965)","journal-title":"Amer. J. Math."},{"key":"1012_CR5","doi-asserted-by":"publisher","first-page":"631","DOI":"10.2307\/2373066","volume":"87","author":"J Ax","year":"1965","unstructured":"Ax, J., Kochen, S.: Diophantine problems over local fields II. a complete set of axioms for $$p$$-adic number theory. Am. J. Math. 87, 631\u2013648 (1965)","journal-title":"Am. J. Math."},{"issue":"2","key":"1012_CR6","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1215\/ijm\/1255985223","volume":"43","author":"L B\u00e9lair","year":"1999","unstructured":"B\u00e9lair, L.: Types dans les corps valu\u00e9s munis d\u2019applications coefficients. Illinois J. Math. 43(2), 410\u2013425 (1999)","journal-title":"Illinois J. Math."},{"issue":"4","key":"1012_CR7","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1142\/S1793744211000473","volume":"3","author":"R Cluckers","year":"2011","unstructured":"Cluckers, R., Halupczok, I.: Quantifier elimination in ordered abelian groups. Confluentes Math. 3(4), 587\u2013615 (2011)","journal-title":"Confluentes Math."},{"key":"1012_CR8","unstructured":"Derakhshan, J., Macintyre, A.: Model completeness for henselian fields with finite ramification valued in a Z-group. arXiv:1603.08598 [math.LO] (2016)"},{"issue":"2","key":"1012_CR9","doi-asserted-by":"publisher","first-page":"139","DOI":"10.15446\/recolma.v52n2.77154","volume":"52","author":"A Dolich","year":"2018","unstructured":"Dolich, A., Goodrick, J.: A characterization of strongly dependent ordered Abelian groups. Rev. Colombiana Mat. 52(2), 139\u2013159 (2018)","journal-title":"Rev. Colombiana Mat."},{"key":"1012_CR10","volume-title":"Valued fields","author":"AJ Engler","year":"2005","unstructured":"Engler, A.J., Prestel, A.: Valued fields. Springer Monographs in Mathematics. Springer-Verlag, Berlin (2005)"},{"key":"1012_CR11","first-page":"21","volume":"165","author":"JL Ershov","year":"1965","unstructured":"Ershov, J.L.: On the elementary theory of maximal normed fields. Dokl. Akad. Nauk SSSR 165, 21\u201323 (1965)","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"1012_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-1307-0","volume-title":"Multi-valued fields","author":"YL Ershov","year":"2001","unstructured":"Ershov, Y.L.: Multi-valued fields. Springer, Newyork (2001)"},{"key":"1012_CR13","unstructured":"Farr\u00e9, R.: Strong ordered abelian groups and dp-rank. arXiv:1706.05471 [math.LO] (2017)"},{"issue":"2","key":"1012_CR14","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1007\/s11856-019-1885-3","volume":"232","author":"Y Halevi","year":"2019","unstructured":"Halevi, Y., Hasson, A.: Strongly dependent ordered abelian groups and Henselian fields. Israel J. Math. 232(2), 719\u2013758 (2019)","journal-title":"Israel J. Math."},{"key":"1012_CR15","unstructured":"Hils, M., Liccardo, M., Touchard, P.: Stably embedded pairs of ordered abelian groups. arXiv:2308.09989 [math.LO] (2023)"},{"issue":"2","key":"1012_CR16","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1215\/S0012-7094-42-00922-0","volume":"9","author":"I Kaplansky","year":"1942","unstructured":"Kaplansky, I.: Maximal fields with valuations. Duke Math. J. 9(2), 303\u2013321 (1942)","journal-title":"Duke Math. J."},{"key":"1012_CR17","doi-asserted-by":"crossref","unstructured":"Ostrowski, A.: \u00dcber sogenannte perfekte K\u00f6rper. de Gruyter (1917)","DOI":"10.1515\/crll.1917.147.191"},{"key":"1012_CR18","doi-asserted-by":"crossref","unstructured":"Prestel, A., Roquette, P.: Formally $$p$$-adic fields. Lecture Notes in Mathematics, vol. 1050. Springer-Verlag, Berlin (1984)","DOI":"10.1007\/BFb0071461"},{"issue":"3","key":"1012_CR19","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1017\/S1474748015000183","volume":"16","author":"S Rideau","year":"2017","unstructured":"Rideau, S.: Some properties of analytic difference valued fields. J. Inst. Math. Jussieu 16(3), 447\u2013499 (2017)","journal-title":"J. Inst. Math. Jussieu"},{"key":"1012_CR20","first-page":"299","volume-title":"Theory of models","author":"J Robinson","year":"1965","unstructured":"Robinson, J.: The decision problem for fields. In: Addison, J.W., Henkin, L., Tarski, A. (eds.) Theory of models, pp. 299\u2013311. Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam (1965)"},{"key":"1012_CR21","unstructured":"Schmitt, P.: Model theory of ordered abelian groups. Habilitationsschrift (1982)"},{"key":"1012_CR22","doi-asserted-by":"crossref","unstructured":"Serre, J.-P.: Local fields, vol.\u00a067 of Graduate Texts in Mathematics. Springer-Verlag, New York-Berlin, (1979). Translated from the French by Marvin Jay Greenberg","DOI":"10.1007\/978-1-4757-5673-9"},{"key":"1012_CR23","doi-asserted-by":"crossref","unstructured":"van den Dries, L., Lectures on the Model Theory of Valued Fields. In Model Theory in Algebra, Analysis and Arithmetic: Cetraro, Italy,: 2014, pp. 55\u2013156. Springer, Berlin Heidelberg (2012)","DOI":"10.1007\/978-3-642-54936-6_4"},{"key":"1012_CR24","unstructured":"Ziegler, M.: Die elementare theorie der henselschen k\u00f6rper. PhD Dissertation, Universit\u00e4t zu K\u00f6ln (1972)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-026-01012-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-026-01012-8","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-026-01012-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T02:21:52Z","timestamp":1780971712000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-026-01012-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5,25]]},"references-count":24,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2026,6]]}},"alternative-id":["1012"],"URL":"https:\/\/doi.org\/10.1007\/s00153-026-01012-8","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,5,25]]},"assertion":[{"value":"8 January 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 May 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 May 2026","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}]}}