{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T07:29:26Z","timestamp":1773386966201,"version":"3.50.1"},"reference-count":12,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1997,4,1]]},"DOI":"10.1305\/ndjfl\/1039724885","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T21:02:48Z","timestamp":1046206968000},"source":"Crossref","is-referenced-by-count":56,"title":["Computable Models of Theories with Few Models"],"prefix":"10.1215","volume":"38","author":[{"given":"Bakhadyr","family":"Khoussainov","sequence":"first","affiliation":[]},{"given":"Andre","family":"Nies","sequence":"additional","affiliation":[]},{"given":"Richard A.","family":"Shore","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"Baldwin, J., and A. Lachlan, \u201cOn strongly minimal sets,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 36 (1971), pp. 79\u201396. Zbl 0217.30402 MR 44:3851","DOI":"10.2307\/2271517"},{"key":"2","unstructured":"Ershov, Yu., <i>Constructive Models and Problems of Decidability<\/i>, Nauka, Moskow, 1980."},{"key":"3","unstructured":"Goncharov, S., \u201cConstructive models of $\\omega_1$-categorical theories,\u201d <i>Matematicheskie Zametki<\/i>, vol. 23 (1978), pp. 885\u20139. Zbl 0403.03025 MR 80g:03029"},{"key":"4","doi-asserted-by":"crossref","unstructured":"Goncharov, S., \u201cStrong constructivability of homogeneous models,\u201d <i>Algebra and Logic<\/i>, vol. 17 (1978), pp. 363\u20138.","DOI":"10.1007\/BF01674776"},{"key":"5","unstructured":"<i>Logic Notebook<\/i>, edited by Yu. Ershov and S. Goncharov, Novosibirsk University, Novosibirsk, 1986. MR 88k:03003"},{"key":"6","unstructured":"Khissamiev, N.,\u201cOn strongly constructive models of decidable theories,\u201d <i>Izvestiya AN Kaz. SSR<\/i>, vol. 1 (1974), pp. 83\u20134."},{"key":"7","unstructured":"Kudeiberganov, K., \u201cOn constructive models of undecidable theories,\u201d <i>Siberian Mathematical Journal<\/i>, vol. 21 (1980), pp. 155\u20138."},{"key":"8","doi-asserted-by":"crossref","unstructured":"Harrington, L., \u201cRecursively presentable prime models,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 39 (1973), pp. 305\u20139. Zbl 0332.02055 MR 50:4292","DOI":"10.2307\/2272643"},{"key":"9","unstructured":"Millar, T., \u201cThe theory of recursively presented models,\u201d Ph.D. Dissertation, Cornell University, Ithaca, 1976."},{"key":"10","doi-asserted-by":"crossref","unstructured":"Morley, M., \u201cDecidable models,\u201d <i>Israel Journal of Mathematics<\/i>, vol. 25 (1976), pp. 233\u201340. Zbl 0361.02067 MR 56:15405","DOI":"10.1007\/BF02757002"},{"key":"11","unstructured":"Peret\u00fdatkin, M., \u201cOn complete theories with finite number of countable models,\u201d <i>Algebra and Logic<\/i>, vol. 12 (1973), pp. 550\u201370. Zbl 0298.02047"},{"key":"12","unstructured":"Rosenstein, J., <i>Linear Orderings<\/i>, Academic Press, New York, 1982. Zbl 0488.04002 MR 84m:06001"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1039724885","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:13:02Z","timestamp":1706649182000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-38\/issue-2\/Computable-Models-of-Theories-with-Few-Models\/10.1305\/ndjfl\/1039724885.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,4,1]]},"references-count":12,"journal-issue":{"issue":"2","published-online":{"date-parts":[[1997,4,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1039724885","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1997,4,1]]}}}