{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,25]],"date-time":"2024-07-25T20:32:53Z","timestamp":1721939573369},"reference-count":7,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2020,9,1]]},"DOI":"10.1215\/00294527-2020-0017","type":"journal-article","created":{"date-parts":[[2020,9,26]],"date-time":"2020-09-26T02:02:15Z","timestamp":1601085735000},"source":"Crossref","is-referenced-by-count":6,"title":["On the Proof of Elimination of Imaginaries in Algebraically Closed Valued Fields"],"prefix":"10.1215","volume":"61","author":[{"given":"Will","family":"Johnson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"5","unstructured":"[5] Macpherson, D., \u201cModel theory of valued fields,\u201d preprint, May 2008, <a href=\"http:\/\/www1.maths.leeds.ac.uk\/Pure\/staff\/macpherson\/modnetval4.pdf\">http:\/\/www1.maths.leeds.ac.uk\/Pure\/staff\/macpherson\/modnetval4.pdf<\/a>."},{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] Haskell, D., E. Hrushovski, and D. Macpherson, \u201cDefinable sets in algebraically closed valued fields: Elimination of imaginaries,\u201d <i>Journal f\u00fcr die Reine und Angewandte Mathematik<\/i>, vol. 597 (2006), pp. 175\u2013236.","DOI":"10.1515\/CRELLE.2006.066"},{"key":"2","doi-asserted-by":"publisher","unstructured":"[2] Holly, J. E., \u201cCanonical forms for definable subsets of algebraically closed and real closed valued fields,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 60 (1995), pp. 843\u201360.","DOI":"10.2307\/2275760"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] Hrushovski, E., \u201cImaginaries and definable types in algebraically closed valued fields,\u201d pp. 297\u2013319 in <i>Valuation Theory in Interaction<\/i>, edited by A. Campillo, F.-V. Kuhlmann, and B. Teissier, <i>EMS Series of Congress Reports<\/i>, European Mathematical Society, Z\u00fcrich, 2014.","DOI":"10.4171\/149-1\/15"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] Hrushovski, E., and A. Pillay, \u201cOn NIP and invariant measures,\u201d <i>Journal of the European Mathematical Society<\/i>, vol. 13 (2011), pp. 1005\u201361.","DOI":"10.4171\/JEMS\/274"},{"key":"6","unstructured":"[6] Robinson, A., <i>Complete Theories<\/i>, North-Holland, Amsterdam, 1956."},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] Simon, P., <i>A Guide to NIP Theories<\/i>, vol. 44 of <i>Lecture Notes in Logic<\/i>, Cambridge University Press, Cambridge, 2015.","DOI":"10.1017\/CBO9781107415133"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2020-0017","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:00:20Z","timestamp":1706648420000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-61\/issue-3\/On-the-Proof-of-Elimination-of-Imaginaries-in-Algebraically-Closed\/10.1215\/00294527-2020-0017.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,1]]},"references-count":7,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2020,9,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2020-0017","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2020,9,1]]}}}