{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:23:04Z","timestamp":1740108184823,"version":"3.37.3"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2020,3,31]],"date-time":"2020-03-31T00:00:00Z","timestamp":1585612800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,3,31]],"date-time":"2020-03-31T00:00:00Z","timestamp":1585612800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100004281","name":"Narodowe Centrum Nauki","doi-asserted-by":"crossref","award":["2016\/21\/N\/ST1\/01465","2015\/19\/B\/ST1\/01150"],"award-info":[{"award-number":["2016\/21\/N\/ST1\/01465","2015\/19\/B\/ST1\/01150"]}],"id":[{"id":"10.13039\/501100004281","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2020,11]]},"DOI":"10.1007\/s00153-020-00728-5","type":"journal-article","created":{"date-parts":[[2020,3,31]],"date-time":"2020-03-31T09:03:11Z","timestamp":1585645391000},"page":"997-1008","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Fields with automorphism and valuation"],"prefix":"10.1007","volume":"59","author":[{"given":"\u00d6zlem","family":"Beyarslan","sequence":"first","affiliation":[]},{"given":"Daniel Max","family":"Hoffmann","sequence":"additional","affiliation":[]},{"given":"G\u00f6nen\u00e7","family":"Onay","sequence":"additional","affiliation":[]},{"given":"David","family":"Pierce","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,3,31]]},"reference":[{"key":"728_CR1","doi-asserted-by":"crossref","unstructured":"Macintyre, A.: Generic automorphisms of fields. Ann. Pure Appl. Log. 88(2\u20133), 165\u2013180 (1997). Joint AILA-KGS Model Theory Meeting (Florence, 1995)","DOI":"10.1016\/S0168-0072(97)00020-1"},{"issue":"8","key":"728_CR2","doi-asserted-by":"publisher","first-page":"2997","DOI":"10.1090\/S0002-9947-99-02498-8","volume":"351","author":"Z Chatzidakis","year":"1999","unstructured":"Chatzidakis, Z., Hrushovski, E.: Model theory of difference fields. Trans. Am. Math. Soc. 351(8), 2997\u20133071 (1999)","journal-title":"Trans. Am. Math. Soc."},{"key":"728_CR3","first-page":"19","volume":"40","author":"H Kikyo","year":"2005","unstructured":"Kikyo, H.: On generic predicates and the amalgamation property for automorphisms. Proc. Sch. Sci. Tokai Univ. 40, 19\u201324 (2005)","journal-title":"Proc. Sch. Sci. Tokai Univ."},{"issue":"3","key":"728_CR4","doi-asserted-by":"publisher","first-page":"1215","DOI":"10.2307\/2586697","volume":"65","author":"Hirotaka Kikyo","year":"2000","unstructured":"Kikyo, Hirotaka: Model companions of theories with an automorphism. J. Symb. Log. 65(3), 1215\u20131222 (2000)","journal-title":"J. Symb. Log."},{"issue":"3","key":"728_CR5","doi-asserted-by":"publisher","first-page":"665","DOI":"10.1353\/ajm.2007.0018","volume":"129","author":"L B\u00e9lair","year":"2007","unstructured":"B\u00e9lair, L., Macintyre, A., Scanlon, T.: Model theory of the Frobenius on the Witt vectors. Am. J. Math. 129(3), 665\u2013721 (2007)","journal-title":"Am. J. Math."},{"issue":"1","key":"728_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S1474748010000174","volume":"10","author":"S Azgin","year":"2011","unstructured":"Azgin, S., van den Dries, L.: Elementary theory of valued fields with a valuation-preserving automorphism. J. Inst. Math. Jussieu 10(1), 1\u201335 (2011)","journal-title":"J. Inst. Math. Jussieu"},{"issue":"10","key":"728_CR7","doi-asserted-by":"publisher","first-page":"2757","DOI":"10.1016\/j.jalgebra.2010.08.003","volume":"324","author":"S Azgin","year":"2010","unstructured":"Azgin, S.: Valued fields with contractive automorphism and Kaplansky fields. J. Algebra 324(10), 2757\u20132785 (2010)","journal-title":"J. Algebra"},{"issue":"2","key":"728_CR8","doi-asserted-by":"publisher","first-page":"545","DOI":"10.2178\/jsl\/1333566637","volume":"77","author":"Koushik Pal","year":"2012","unstructured":"Pal, Koushik: Multiplicative valued difference fields. J. Symb. Log. 77(2), 545\u2013579 (2012)","journal-title":"J. Symb. Log."},{"issue":"4","key":"728_CR9","doi-asserted-by":"publisher","first-page":"1177","DOI":"10.1007\/s00029-015-0183-0","volume":"21","author":"S Durhan","year":"2015","unstructured":"Durhan, S., Onay, G.: Quantifier elimination for valued fields equipped with an automorphism. Selecta Math. (N.S.) 21(4), 1177\u20131201 (2015)","journal-title":"Selecta Math. (N.S.)"},{"issue":"4","key":"728_CR10","doi-asserted-by":"publisher","first-page":"1758","DOI":"10.2307\/2695074","volume":"65","author":"T Scanlon","year":"2000","unstructured":"Scanlon, T.: A model complete theory of valued $${D}$$-fields. J. Symb. Log. 65(4), 1758\u20131784 (2000)","journal-title":"J. Symb. Log."},{"issue":"4","key":"728_CR11","doi-asserted-by":"publisher","first-page":"570","DOI":"10.1016\/j.apal.2009.08.001","volume":"161","author":"N Guzy","year":"2010","unstructured":"Guzy, N., Point, F.: Topological differential fields. Ann. Pure Appl. Log. 161(4), 570\u2013598 (2010)","journal-title":"Ann. Pure Appl. Log."},{"issue":"4","key":"728_CR12","doi-asserted-by":"publisher","first-page":"1321","DOI":"10.1215\/ijm\/1258138514","volume":"48","author":"David Pierce","year":"2004","unstructured":"Pierce, David: Geometric characterizations of existentially closed fields with operators. Ill. J. Math. 48(4), 1321\u20131343 (2004)","journal-title":"Ill. J. Math."},{"issue":"5","key":"728_CR13","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/s00153-009-0130-x","volume":"48","author":"D Pierce","year":"2009","unstructured":"Pierce, D.: Model-theory of vector-spaces over unspecified fields. Arch. Math. Log. 48(5), 421\u2013436 (2009)","journal-title":"Arch. Math. Log."},{"key":"728_CR14","unstructured":"Chang, C.C., Keisler, H.J.: Model Theory. Studies in Logic and the Foundations of Mathematics, vol. 73, 3rd edn. North-Holland Publishing Co., Amsterdam (1990). 1st edition (1973)"},{"key":"728_CR15","volume-title":"Model Theory, Volume 42 of Encyclopedia of Mathematics and its Applications","author":"W Hodges","year":"1993","unstructured":"Hodges, W.: Model Theory, Volume 42 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge (1993)"},{"key":"728_CR16","volume-title":"Introduction to Model Theory and to the Metamathematics of Algebra","author":"A Robinson","year":"1963","unstructured":"Robinson, A.: Introduction to Model Theory and to the Metamathematics of Algebra. North-Holland Publishing Co., Amsterdam (1963)"},{"key":"728_CR17","doi-asserted-by":"crossref","unstructured":"Eklof, P., Sabbagh, G.: Model-completions and modules. Ann. Math. Log. 2(3), 251\u2013295 (1970\/1971)","DOI":"10.1016\/0003-4843(71)90016-7"},{"key":"728_CR18","doi-asserted-by":"crossref","unstructured":"Blum, L.: Differentially closed fields: a model-theoretic tour. In: Contributions to Algebra (collection of papers dedicated to Ellis Kolchin), pp. 37\u201361. Academic Press, New York (1977)","DOI":"10.1016\/B978-0-12-080550-1.50009-3"},{"issue":"1","key":"728_CR19","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/jabr.1997.7359","volume":"204","author":"D Pierce","year":"1998","unstructured":"Pierce, D., Pillay, A.: A note on the axioms for differentially closed fields of characteristic zero. J. Algebra 204(1), 108\u2013115 (1998)","journal-title":"J. Algebra"},{"issue":"1","key":"728_CR20","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF01388493","volume":"76","author":"L van den Dries","year":"1984","unstructured":"van den Dries, L., Schmidt, K.: Bounds in the theory of polynomial rings over fields. A nonstandard approach. Invent. Math. 76(1), 77\u201391 (1984)","journal-title":"Invent. Math."},{"key":"728_CR21","unstructured":"Poizat, B.: Groupes stables. Nur al-Mantiq wal-Ma\u2019rifah [Light of Logic and Knowledge], 2. Bruno Poizat, Lyon (1987). Une tentative de conciliation entre la g\u00e9om\u00e9trie alg\u00e9brique et la logique math\u00e9matique. [An attempt at reconciling algebraic geometry and mathematical logic]"},{"key":"728_CR22","volume-title":"Valued Fields","author":"AJ Engler","year":"2005","unstructured":"Engler, A.J., Prestel, A.: Valued Fields. Springer, Berlin (2005)"},{"key":"728_CR23","volume-title":"Commutative Algebra. Vol. II. The University Series in Higher Mathematics","author":"O Zariski","year":"1960","unstructured":"Zariski, O., Samuel, P.: Commutative Algebra. Vol. II. The University Series in Higher Mathematics. D. Van Nostrand Co., Inc., Princeton (1960)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-020-00728-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-020-00728-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-020-00728-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,30]],"date-time":"2021-03-30T23:12:50Z","timestamp":1617145970000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-020-00728-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,31]]},"references-count":23,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2020,11]]}},"alternative-id":["728"],"URL":"https:\/\/doi.org\/10.1007\/s00153-020-00728-5","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2020,3,31]]},"assertion":[{"value":"19 December 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 March 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 March 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}