{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T10:09:00Z","timestamp":1760609340234,"version":"3.37.3"},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2021,1,3]],"date-time":"2021-01-03T00:00:00Z","timestamp":1609632000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,3]],"date-time":"2021-01-03T00:00:00Z","timestamp":1609632000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"name":"National Science Foundation","award":["DMS-1362206"],"award-info":[{"award-number":["DMS-1362206"]}]},{"DOI":"10.13039\/100000893","name":"Simons Foundation","doi-asserted-by":"publisher","award":["581896"],"award-info":[{"award-number":["581896"]}],"id":[{"id":"10.13039\/100000893","id-type":"DOI","asserted-by":"publisher"}]},{"name":"PSC-CUNY","award":["several"],"award-info":[{"award-number":["several"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2021,8]]},"DOI":"10.1007\/s00153-020-00753-4","type":"journal-article","created":{"date-parts":[[2021,1,3]],"date-time":"2021-01-03T06:03:08Z","timestamp":1609653788000},"page":"721-735","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Model completeness and relative decidability"],"prefix":"10.1007","volume":"60","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5754-6563","authenticated-orcid":false,"given":"Jennifer","family":"Chubb","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5454-6736","authenticated-orcid":false,"given":"Russell","family":"Miller","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7574-204X","authenticated-orcid":false,"given":"Reed","family":"Solomon","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,1,3]]},"reference":[{"key":"753_CR1","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/0168-0072(89)90015-8","volume":"42","author":"CJ Ash","year":"1989","unstructured":"Ash, C.J., Knight, J.F., Manasse, M.S., Slaman, T.A.: Generic copies of countable structures. Ann. Pure Appl. Logic 42, 195\u2013205 (1989)","journal-title":"Ann. Pure Appl. Logic"},{"key":"753_CR2","volume-title":"Model Theory","author":"CC Chang","year":"1990","unstructured":"Chang, C.C., Keisler, H.J.: Model Theory, 3rd edn. Elsevier, Amsterdam (1990)","edition":"3"},{"issue":"12","key":"753_CR3","doi-asserted-by":"publisher","first-page":"3901","DOI":"10.1090\/S0002-9939-03-06951-X","volume":"131","author":"SS Goncharov","year":"2003","unstructured":"Goncharov, S.S., Harizanov, V.S., Laskowski, C., Lempp, S., McCoy, C.: Trivial strongly minimal theories are model complete after naming constants. Proc. A.M.S 131(12), 3901\u20133912 (2003)","journal-title":"Proc. A.M.S"},{"key":"753_CR4","series-title":"Handbook of Recursive Mathematics","first-page":"3","volume-title":"Pure Computable Model Theory","author":"VS Harizanov","year":"1998","unstructured":"Harizanov, V.S.: Pure Computable Model Theory. Handbook of Recursive Mathematics, vol. 1, pp. 3\u2013114. Elsevier, Amsterdam (1998)"},{"key":"753_CR5","unstructured":"Harrison-Trainor,M.: There is a no simple characterization of the relatively decidable theories, submitted for publication"},{"issue":"1","key":"753_CR6","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1017\/jsl.2016.12","volume":"82","author":"M Harrison-Trainor","year":"2017","unstructured":"Harrison-Trainor, M., Melnikov, A., Miller, R., Montalb\u00e1n, A.: Computable functors and effective interpretability. J. Symbol. Logic 82(1), 77\u201397 (2017)","journal-title":"J. Symbol. Logic"},{"key":"753_CR7","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/S0168-0072(01)00087-2","volume":"115","author":"DR Hirschfeldt","year":"2002","unstructured":"Hirschfeldt, D.R., Khoussainov, B., Shore, R.A., Slinko, A.M.: Degree spectra and computable dimensions in algebraic structures. Ann. Pure Appl. Logic 115, 71\u2013113 (2002)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"1","key":"753_CR8","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1017\/jsl.2017.50","volume":"83","author":"R Miller","year":"2018","unstructured":"Miller, R., Poonen, B., Schoutens, H., Shlapentokh, A.: A computable functor from graphs to fields. J. Symbol. Logic 83(1), 326\u2013348 (2018)","journal-title":"J. Symbol. Logic"},{"issue":"2","key":"753_CR9","first-page":"79","volume":"2014","author":"A Montalb\u00e1n","year":"2014","unstructured":"Montalb\u00e1n, A.: Computability theoretic classifications for classes of structures. Proc. ICM 2014(2), 79\u2013101 (2014)","journal-title":"Proc. ICM"},{"key":"753_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-02460-7","volume-title":"Recursively Enumerable Sets and Degrees","author":"RI Soare","year":"1987","unstructured":"Soare, R.I.: Recursively Enumerable Sets and Degrees. Springer, New York (1987)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-020-00753-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-020-00753-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-020-00753-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,9]],"date-time":"2021-07-09T10:03:15Z","timestamp":1625824995000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-020-00753-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,3]]},"references-count":10,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2021,8]]}},"alternative-id":["753"],"URL":"https:\/\/doi.org\/10.1007\/s00153-020-00753-4","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2021,1,3]]},"assertion":[{"value":"2 March 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 November 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 January 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Compliance with ethical standards"}},{"value":"The authors declare that they have no conflict of interest, and add that there is no data associated with this work.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interests"}}]}}