{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T13:25:43Z","timestamp":1773149143073,"version":"3.50.1"},"reference-count":9,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":923,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2011,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We employ an infinite-signature Hrushovski amalgamation construction to yield two results in Recursive Model Theory. The first result, that there exists a strongly minimal theory whose only recursively presentable models are the prime and saturated models, adds a new <jats:italic>spectrum<\/jats:italic> to the list of known possible spectra. The second result, that there exists a strongly minimal theory in a finite language whose only recursively presentable model is saturated, gives the second non-trivial example of a spectrum produced in a finite language.<\/jats:p>","DOI":"10.2178\/jsl\/1309952525","type":"journal-article","created":{"date-parts":[[2011,7,6]],"date-time":"2011-07-06T11:42:35Z","timestamp":1309952555000},"page":"883-896","source":"Crossref","is-referenced-by-count":8,"title":["A new spectrum of recursive models using an amalgamation construction"],"prefix":"10.1017","volume":"76","author":[{"given":"Uri","family":"Andrews","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200001572_ref007","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1305\/ndjfl\/1039724885","article-title":"Computable models of theories with few models","volume":"38","author":"Khoussainov","year":"1997","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"S0022481200001572_ref005","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1143468311"},{"key":"S0022481200001572_ref008","first-page":"155","article-title":"On constructive models of undecidable theories","volume":"21","author":"Kudaibergenov","year":"1980","journal-title":"Siberian Mathematical Journal"},{"key":"S0022481200001572_ref009","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1305\/ndjfl\/1022615611","article-title":"A new spectrum of recursive models","volume":"40","author":"Nies","year":"1999","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"S0022481200001572_ref004","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-99-04920-5"},{"key":"S0022481200001572_ref001","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2010.11.002"},{"key":"S0022481200001572_ref002","first-page":"79","volume":"36","author":"Baldwin","year":"1971","journal-title":"On strongly minimal sets"},{"key":"S0022481200001572_ref003","first-page":"885","article-title":"Constructive models of N1-categorical theories","volume":"23","author":"Goncharov","year":"1978","journal-title":"Akademiya Nauk Soyuza SSR. Matematicheskie Zametki"},{"key":"S0022481200001572_ref006","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(93)90171-9"}],"container-title":["The Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200001572","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T05:56:26Z","timestamp":1556344586000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200001572\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9]]},"references-count":9,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,9]]}},"alternative-id":["S0022481200001572"],"URL":"https:\/\/doi.org\/10.2178\/jsl\/1309952525","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,9]]}}}