{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T17:38:45Z","timestamp":1649007525516},"reference-count":6,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":9598,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1987,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>L. van den Dries proved that the theory of <jats:italic>n<\/jats:italic>-valued rings has a model companion. We show here that this result is still true when the valuation rings are required to satisfy given inclusion relations (we restrict ourselves to the case of residual characteristic zero).<\/jats:p>","DOI":"10.2307\/2273833","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T18:23:41Z","timestamp":1146939821000},"page":"994-1004","source":"Crossref","is-referenced-by-count":0,"title":["Corps portant un nombre fini de valuations"],"prefix":"10.1017","volume":"52","author":[{"given":"Fran\u00e7oise","family":"Delon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200029388_ref005","volume-title":"Th\u00e9orie des valuations","author":"Ribenboim","year":"1964"},{"key":"S0022481200029388_ref003","doi-asserted-by":"publisher","DOI":"10.1215\/S0012-7094-42-00922-0"},{"key":"S0022481200029388_ref006","unstructured":"van den Dries L. , Model theory of fields, Th\u00e8se, Universit\u00e9 d'Utrecht, Utrecht, 1978."},{"key":"S0022481200029388_ref002","first-page":"63","article-title":"Multiply valued fields","volume":"22","author":"Er\u0161ov","year":"1980","journal-title":"Soviet Mathematics Doklady"},{"key":"S0022481200029388_ref001","unstructured":"Delon F. , \u00c9limination des quantificateurs dans les corps valu\u00e9s (en pr\u00e9paration)."},{"key":"S0022481200029388_ref004","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0079426"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200029388","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T17:17:14Z","timestamp":1558372634000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200029388\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,12]]},"references-count":6,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1987,12]]}},"alternative-id":["S0022481200029388"],"URL":"https:\/\/doi.org\/10.2307\/2273833","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1987,12]]}}}