{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,4]],"date-time":"2023-05-04T14:40:30Z","timestamp":1683211230776},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1996,12,1]],"date-time":"1996-12-01T00:00:00Z","timestamp":849398400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[1996,12]]},"DOI":"10.1007\/bf02127794","type":"journal-article","created":{"date-parts":[[2005,9,15]],"date-time":"2005-09-15T07:24:30Z","timestamp":1126769070000},"page":"59-73","source":"Crossref","is-referenced-by-count":0,"title":["Formal power series"],"prefix":"10.1007","volume":"16","author":[{"given":"Fran\u00e7oise","family":"Delon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02127794_CR1","doi-asserted-by":"crossref","first-page":"605","DOI":"10.2307\/2373065","volume":"187","author":"J. Ax","year":"1965","unstructured":"J. Ax and S. Kochen, Diophantine problems over local fields I, Amer. J. Math. 187(1965)605\u2013630.","journal-title":"Amer. J. Math."},{"key":"BF02127794_CR2","doi-asserted-by":"crossref","first-page":"437","DOI":"10.2307\/1970476","volume":"83","author":"J. Ax","year":"1966","unstructured":"J. Ax and S. Kochen, Diophantine problems over local fields III: Decidable fields, Ann. Math. 83(1966)437\u2013456.","journal-title":"Ann. Math."},{"key":"BF02127794_CR3","series-title":"Lecture Notes in Mathematics","first-page":"1","volume-title":"Model Theory of Algebra and Arithmetic","author":"J. Becker","year":"1980","unstructured":"J. Becker, J. Denef and L. Lipshitz, Further remarks on the elementary theory of formal power series rings, in:Model Theory of Algebra and Arithmetic, Lecture Notes in Mathematics 834 (Springer, Berlin, 1980) pp. 1\u20139."},{"key":"BF02127794_CR4","volume-title":"Model Theory","author":"C.C. Chang","year":"1973","unstructured":"C.C. Chang and H.J. Keisler,Model Theory (North-Holland, New York, 1973)."},{"key":"BF02127794_CR5","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0079565","volume-title":"Model Theoretic Algebra","author":"G. Cherlin","year":"1976","unstructured":"G. Cherlin,Model Theoretic Algebra, Lecture Notes in Mathematics 521 (Springer, Berlin, 1976)."},{"key":"BF02127794_CR6","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1002\/cpa.3160220202","volume":"22","author":"P.J. Cohen","year":"1969","unstructured":"P.J. Cohen, Decision procedures for real andp-adic fields, Commun. Pure Appl. Math. 22(1969)131\u2013151.","journal-title":"Commun. Pure Appl. Math."},{"key":"BF02127794_CR7","doi-asserted-by":"crossref","first-page":"215","DOI":"10.4064\/fm-112-3-215-229","volume":"62","author":"F. Delon","year":"1981","unstructured":"F. Delon, Ind\u00e9cidabilit\u00e9 de la th\u00e9orie des anneaux de s\u00e9ries formelles \u00e0 plusieurs ind\u00e9termin\u00e9es, Fundamenta Math. 62(1981)215\u2013229.","journal-title":"Fundamenta Math."},{"key":"BF02127794_CR8","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF01189583","volume":"54","author":"G.A. Elliott","year":"1990","unstructured":"G.A. Elliott and P. Ribenboim, Fields of generalized power series, Archiv. d. Math. 54(1990)365\u2013371.","journal-title":"Archiv. d. Math."},{"key":"BF02127794_CR9","volume-title":"Lectures on Forms in Many Variables","author":"M.J. Greenberg","year":"1969","unstructured":"M.J. Greenberg,Lectures on Forms in Many Variables (Benjamin, New York, 1969)."},{"key":"BF02127794_CR10","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511551574","volume-title":"Model Theory","author":"W. Hodges","year":"1993","unstructured":"W. Hodges,Model Theory (Cambridge University Press, Cambridge, 1993)."},{"key":"BF02127794_CR11","volume-title":"Model Theoretic Algebra","author":"C.U. Jensen","year":"1989","unstructured":"C.U. Jensen and H. Lenzing,Model Theoretic Algebra (Gordon and Breach, New York, 1989)."},{"key":"BF02127794_CR12","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1215\/S0012-7094-42-00922-0","volume":"9","author":"I. Kaplansky","year":"1942","unstructured":"I. Kaplansky, Maximal fields with valuations, Duke Math. J. 9(1942)303\u2013321.","journal-title":"Duke Math. J."},{"key":"BF02127794_CR13","series-title":"Lecture Notes in Mathematics","volume-title":"The model theory of local fields,Logic Conf. Kiel 1974","author":"S. Kochen","year":"1975","unstructured":"S. Kochen, The model theory of local fields,Logic Conf. Kiel 1974, Lecture Notes in Mathematics 499 (Springer, Berlin, 1975)."},{"key":"BF02127794_CR14","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1515\/crll.1932.167.160","volume":"167","author":"W. Krull","year":"1932","unstructured":"W. Krull, Allgemeine Bewertungstheorie, J. Reine Angew. Math. 167(1932)160\u2013196.","journal-title":"J. Reine Angew. Math."},{"key":"BF02127794_CR15","volume-title":"Henselian function fields","author":"F.V. Kuhlmann","year":"1989","unstructured":"F.V. Kuhlmann, Henselian function fields, Dissertation, Heidelberg (1989)."},{"key":"BF02127794_CR16","first-page":"1499","volume":"60","author":"A.I. Malcev","year":"1948","unstructured":"A.I. Malcev, On the embedding of group algebras, Dokl. Akad. Nauk SSSR 60(1948)1499\u20131501 (in Russian).","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"BF02127794_CR17","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1090\/S0002-9947-1949-0032593-5","volume":"66","author":"B.H. Neumann","year":"1949","unstructured":"B.H. Neumann, On ordered division rings, Trans. AMS 66(1949)202\u2013252.","journal-title":"Trans. AMS"},{"key":"BF02127794_CR18","volume-title":"Th\u00e9orie des Valuations","author":"P. Ribenboim","year":"1964","unstructured":"P. Ribenboim,Th\u00e9orie des Valuations (Les Presses de l'Universit\u00e9 de Montr\u00e9al, Montr\u00e9al, 1964)."},{"key":"BF02127794_CR19","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/0022-314X(70)90024-7","volume":"2","author":"A. Robinson","year":"1970","unstructured":"A. Robinson, Elementary embeddings of field of power series, J. Number Th. 2(1970)237\u2013247.","journal-title":"J. Number Th."},{"key":"BF02127794_CR20","first-page":"909","volume":"A271","author":"G. Sabbagh","year":"1970","unstructured":"G. Sabbagh, Aspects logiques de la puret\u00e9 dans les modules, C.R.A.S. Paris A271(1970)909\u2013912.","journal-title":"C.R.A.S. Paris"},{"key":"BF02127794_CR21","unstructured":"L. van de Dries, Model theory of fields, Thesis, Utrecht (1978)."},{"key":"BF02127794_CR22","volume-title":"Algebraic Curves","author":"R.J. Walker","year":"1962","unstructured":"R.J. Walker,Algebraic Curves (Dover Publ., New York, 1962)."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02127794.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02127794\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02127794","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,4]],"date-time":"2023-05-04T14:26:11Z","timestamp":1683210371000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02127794"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,12]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,12]]}},"alternative-id":["BF02127794"],"URL":"https:\/\/doi.org\/10.1007\/bf02127794","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,12]]}}}