{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T18:10:33Z","timestamp":1758737433124,"version":"3.44.0"},"reference-count":49,"publisher":"Elsevier","isbn-type":[{"type":"print","value":"9780444898821"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1016\/s0049-237x(99)80031-7","type":"book-chapter","created":{"date-parts":[[2007,9,7]],"date-time":"2007-09-07T16:52:47Z","timestamp":1189183967000},"page":"507-532","source":"Crossref","is-referenced-by-count":3,"title":["Pure Recursive Model Theory"],"prefix":"10.1016","member":"78","reference":[{"key":"10.1016\/S0049-237X(99)80031-7_bib1","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/0168-0072(86)90048-5","article-title":"Stability of recursive structures in arithmetical degrees","volume":"32","author":"Ash","year":"1986","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/S0049-237X(99)80031-7_bib2","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1090\/S0002-9947-1986-0860377-7","article-title":"Recursive labelling systems and stability of recursive structures in hyperarifhmetic degrees","volume":"298","author":"Ash","year":"1986","journal-title":"Trans. Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80031-7_bib3","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0168-0072(90)90065-A","article-title":"Labelling systems and r.e. structures","volume":"47","author":"Ash","year":"1990","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/S0049-237X(99)80031-7_bib4","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1007\/BF01978849","article-title":"Strong\n\t\t\t\t\t\t\t\t\u039420-categoricity","volume":"24","author":"Ash","year":"1985","journal-title":"Algebra and Logic"},{"key":"10.1016\/S0049-237X(99)80031-7_bib5","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1090\/S0002-9939-1983-0715872-0","article-title":"Persistently finite, persistently arithmetic theories","volume":"89","author":"Ash","year":"1983","journal-title":"Proc. Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80031-7_bib6","first-page":"26","article-title":"Intrinsically recursive relations","author":"Ash","year":"1981"},{"key":"10.1016\/S0049-237X(99)80031-7_bib7","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/0168-0072(90)90004-L","article-title":"Pairs of recursive structures","volume":"46","author":"Ash","year":"1990","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/S0049-237X(99)80031-7_bib8","doi-asserted-by":"crossref","first-page":"1383","DOI":"10.2307\/2275711","article-title":"Mixed systems","volume":"59","author":"Ash","year":"1994","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80031-7_bib9","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0168-0072(88)90014-0","article-title":"Intrinsically\n\t\t\t\t\t\t\t\t\u2211\u03b10relations","volume":"39","author":"Barker","year":"1988","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/S0049-237X(99)80031-7_bib10","doi-asserted-by":"crossref","first-page":"107","DOI":"10.4064\/fm-81-2-107-119","article-title":"Remarks on countable models","volume":"81","author":"Benda","year":"1974","journal-title":"Fund. Math."},{"key":"10.1016\/S0049-237X(99)80031-7_bib11","unstructured":"C. C. CHANG AND H. J. KEISLER [1990] Model Theory, 3rd ed., North-Holland, Amsterdam."},{"key":"10.1016\/S0049-237X(99)80031-7_bib12","doi-asserted-by":"crossref","first-page":"1168","DOI":"10.2307\/2274481","article-title":"Effective model theory vs. recursive model theory","volume":"55","author":"Chisolm","year":"1990","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80031-7_bib13","doi-asserted-by":"crossref","first-page":"1213","DOI":"10.2307\/2274483","article-title":"The complexity of intrinsically r.e. subsets of existentially decidable models","volume":"55","author":"Chisolm","year":"1990","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80031-7_bib14","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/BF01696781","article-title":"Die Vollst\u00e4ndigkeit der Axiome des logischen Funktionenkalk\u00fcls","volume":"37","author":"G\u00d6DEL","year":"1930","journal-title":"Monatsh. Math. Phys."},{"key":"10.1016\/S0049-237X(99)80031-7_bib15","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF01700692","article-title":"\u00dcber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter Systeme, I","volume":"38","author":"G\u00d6DEL","year":"1931","journal-title":"Monatsh. Math. Phys."},{"key":"10.1016\/S0049-237X(99)80031-7_bib16","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/BF01674776","article-title":"Strongly constructivizability of homogeneous models","volume":"17","author":"Goncharov","year":"1978","journal-title":"Algebra and Logic"},{"key":"10.1016\/S0049-237X(99)80031-7_bib17","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/BF01669834","article-title":"Totally transcendental decidable theory without constructivizable homogeneous models","volume":"19","author":"Goncharov","year":"1980","journal-title":"Algebra and Logic"},{"key":"10.1016\/S0049-237X(99)80031-7_bib18","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF02219289","article-title":"Constructive models of complete solvable theories","volume":"12","author":"Goncharov","year":"1973","journal-title":"Algebra and Logic"},{"key":"10.1016\/S0049-237X(99)80031-7_bib19","doi-asserted-by":"crossref","first-page":"305","DOI":"10.2307\/2272643","article-title":"Recursively presentable prime models","volume":"39","author":"Harrington","year":"1974","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80031-7_bib20","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0168-0072(91)90049-R","article-title":"Uncountable degree spectra","volume":"54","author":"Harizanov","year":"1991","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/S0049-237X(99)80031-7_bib21","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0168-0072(91)90097-6","article-title":"Some effects of Ash-Nerode and other decidability conditions on degree spectra","volume":"55","author":"Harizanov","year":"1991","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/S0049-237X(99)80031-7_bib22","unstructured":"[ta] Pure recursive model theory, in: Handbook of Recursive Algebra, A. Nerode, J. B. Remmel, Y. Ershov and S. Goncharov, eds."},{"year":"1982","author":"Kleene","key":"10.1016\/S0049-237X(99)80031-7_bib23"},{"key":"10.1016\/S0049-237X(99)80031-7_bib24","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/BF01669502","article-title":"A theory with two strongly constructivizable models","volume":"18","author":"Kudaibergenov","year":"1979","journal-title":"Algebra and Logic"},{"key":"10.1016\/S0049-237X(99)80031-7_bib25","doi-asserted-by":"crossref","first-page":"59","DOI":"10.2307\/2273704","article-title":"Theories with recursive models","volume":"44","author":"LERMAN","year":"1979","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80031-7_bib26","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0001-8708(84)90028-8","article-title":"The elementary theory of the recursively enumerable degrees is not\n\t\t\t\t\t\t\t\t\u21350-categorical","volume":"53","author":"Lerman","year":"1984","journal-title":"Adv. in Math."},{"key":"10.1016\/S0049-237X(99)80031-7_bib27","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1016\/0003-4843(78)90030-X","article-title":"Foundations of recursive model theory","volume":"13","author":"Millar","year":"1978","journal-title":"Ann. Math. Logic"},{"key":"10.1016\/S0049-237X(99)80031-7_bib28","doi-asserted-by":"crossref","first-page":"307","DOI":"10.2307\/2273123","article-title":"A complete, decidable theory with two decidable models","volume":"44","author":"Millar","year":"1979","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80031-7_bib29","doi-asserted-by":"crossref","first-page":"118","DOI":"10.2140\/pjm.1980.91.407","article-title":"Homogeneous models and decidability","volume":"91","author":"Millar","year":"1980","journal-title":"Pacific J. Math."},{"key":"10.1016\/S0049-237X(99)80031-7_bib30","first-page":"215","article-title":"Counterexamples via model completions","author":"Millar","year":"1981"},{"key":"10.1016\/S0049-237X(99)80031-7_bib31","doi-asserted-by":"crossref","first-page":"397","DOI":"10.2307\/2273632","article-title":"Vaught's theorem recursively revisited","volume":"46","author":"Millar","year":"1981","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80031-7_bib32","first-page":"196","article-title":"Stability, complete extensions, and the number of countable models","author":"Millar","year":"1981"},{"key":"10.1016\/S0049-237X(99)80031-7_bib33","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1090\/S0002-9947-1982-0648078-8","article-title":"Type structure complexity and decidability","volume":"271","author":"Millar","year":"1982","journal-title":"Trans. Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80031-7_bib34","first-page":"311","article-title":"Decidable Ehrenfeucht theories","volume":"42","author":"Millar","year":"1982"},{"key":"10.1016\/S0049-237X(99)80031-7_bib35","doi-asserted-by":"crossref","first-page":"171","DOI":"10.2307\/2273331","article-title":"Omitting types, type spectrums, and decidability","volume":"48","author":"Millar","year":"1983","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80031-7_bib36","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/0168-0072(84)90009-5","article-title":"Decidability and the number of countable models","volume":"27","author":"Millar","year":"1984","journal-title":"Ann. PureAppl. Logic"},{"key":"10.1016\/S0049-237X(99)80031-7_bib37","doi-asserted-by":"crossref","first-page":"712","DOI":"10.1090\/S0002-9939-1989-0937851-6","article-title":"Tame theories with hyperarithmetic homogeneous models","volume":"105","author":"Millar","year":"1989","journal-title":"Proc. Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80031-7_bib38","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1007\/BF02218589","article-title":"On complete theories with a finite number of denumerable models","volume":"12","author":"Peretyat'kin","year":"1973","journal-title":"Algebra and Logic"},{"key":"10.1016\/S0049-237X(99)80031-7_bib39","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1007\/BF01674780","article-title":"Criterion for strong constructivizability of a homogeneous model","volume":"17","author":"Peretyat'kin","year":"1978","journal-title":"Algebra and Logic"},{"key":"10.1016\/S0049-237X(99)80031-7_bib40","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1007\/BF01980636","article-title":"Turing machine computations in finitely axiomatizable theories","volume":"21","author":"Peretyat'kin","year":"1982","journal-title":"Algebra and Logic"},{"key":"10.1016\/S0049-237X(99)80031-7_bib41","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1090\/S0002-9939-1980-0581006-6","article-title":"Instability and theories with a few models","volume":"80","author":"Pillay","year":"1980","journal-title":"Proc. Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80031-7_bib42","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1090\/S0002-9904-1944-08111-1","article-title":"Recursively enumerable sets of positive integers and their decision problems","volume":"50","author":"Post","year":"1944","journal-title":"Bull. Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80031-7_bib43","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0168-0072(91)90053-O","article-title":"A decidable Ehrenfeucht theory with exactly two hyperarithmetic models","volume":"53","author":"Reed","year":"1991","journal-title":"Ann. Pure Appl. Logic"},{"year":"1972","author":"Sacks","key":"10.1016\/S0049-237X(99)80031-7_bib44"},{"key":"10.1016\/S0049-237X(99)80031-7_bib45","first-page":"185","article-title":"On the number of countable models","volume":"111","author":"Sacks","year":"1981"},{"key":"10.1016\/S0049-237X(99)80031-7_bib46","doi-asserted-by":"crossref","first-page":"183","DOI":"10.2307\/2272817","article-title":"Toward model theory through recursive saturation","volume":"43","author":"Schlipf","year":"1978","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80031-7_bib47","first-page":"631","article-title":"Degrees of unsolvability: a survey of results","volume":"90","author":"Simpson","year":"1977"},{"year":"1987","author":"Soare","key":"10.1016\/S0049-237X(99)80031-7_bib48"},{"key":"10.1016\/S0049-237X(99)80031-7_bib49","unstructured":"R. L. VAUGHT [1961] Denumerable models of complete theories, in: Logic, Methodology, and Philosophy of Science, Y. Bar-Hillel, ed., North-Holland, Amsterdam, pp. 390\u2013\u2013401."}],"container-title":["Studies in Logic and the Foundations of Mathematics","Handbook of Computability Theory"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0049237X99800317?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0049237X99800317?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T17:33:53Z","timestamp":1758735233000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0049237X99800317"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9780444898821"],"references-count":49,"URL":"https:\/\/doi.org\/10.1016\/s0049-237x(99)80031-7","relation":{},"ISSN":["0049-237X"],"issn-type":[{"type":"print","value":"0049-237X"}],"subject":[],"published":{"date-parts":[[1999]]}}}