{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T02:23:55Z","timestamp":1648693435189},"reference-count":9,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":11424,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1982,12]]},"abstract":"<jats:p>Ever since Craig-Beth and Addison-Kleene proved their versions of the Lusin-Suslin theorem, work in model theory and recursion theory has demonstrated the value of classical descriptive set theory as a source of ideas and inspirations. During the sixties in particular, J.W. Addison refined the technique of \u201cconjecture by analogy\u201d and used it to generate a substantial number of results in both model theory and recursion theory (see, e.g., Addison [1], [2], [3]).<\/jats:p><jats:p>During the past 15 years, techniques and results from recursion theory and model theory have played an important role in the development of descriptive set theory. (Moschovakis's book [6] is an excellent reference, particularly for the use of recursion-theoretic tools.) The use of \u201cconjecture by analogy\u201d as a means of transferring ideas from model theory and recursion theory to descriptive set theory has developed more slowly. Some notable recent examples of this phenomenon are in Vaught [9], where some results in invariant descriptive set theory reflecting and extending model-theoretic results are obtained and others are left as conjectures (including a version of the well-known conjecture on the number of countable models) and in Hrbacek and Simpson [4], where a notion analogous to that of Turing reducibility is used to study Borel isomorphism types. Moschovakis [6] describes in detail an effective descriptive set theory based in large part on classical recursion theory.<\/jats:p>","DOI":"10.2307\/2273101","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T22:01:43Z","timestamp":1146952903000},"page":"824-832","source":"Crossref","is-referenced-by-count":3,"title":["A topological analog to the Rice-Shapiro index theorem"],"prefix":"10.1017","volume":"47","author":[{"given":"Louise","family":"Hay","sequence":"first","affiliation":[]},{"given":"Douglas","family":"Miller","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200043693_ref007","first-page":"358","volume":"74","author":"Rice","year":"1953","journal-title":"Classes of recursively enumerable sets and their decision problems"},{"key":"S0022481200043693_ref005","unstructured":"Miller D. , Remarks on topological index sets (in preparation)."},{"key":"S0022481200043693_ref001","first-page":"26","volume-title":"Logic, Methodology and Philosophy of Science (Proceedings of the International Congress, 1960)","author":"Addison","year":"1962"},{"key":"S0022481200043693_ref009","doi-asserted-by":"publisher","DOI":"10.4064\/fm-82-3-269-294"},{"key":"S0022481200043693_ref006","volume-title":"Descriptive set theory","author":"Moschovakis","year":"1980"},{"key":"S0022481200043693_ref002","first-page":"123","volume-title":"Proceedings of the Symposia in Pure Mathematics","volume":"5","author":"Addison","year":"1962"},{"key":"S0022481200043693_ref004","first-page":"347","volume-title":"Proceedings of Kleene Conference, Madison, 1978","author":"Hrbacek","year":"1980"},{"key":"S0022481200043693_ref003","first-page":"1","volume-title":"Proceedings of the Symposia in Pure Mathematics","volume":"13","author":"Addison","year":"1974"},{"key":"S0022481200043693_ref008","volume-title":"Theory of recursive functions","author":"Rogers","year":"1967"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200043693","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T20:18:17Z","timestamp":1558729097000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200043693\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982,12]]},"references-count":9,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1982,12]]}},"alternative-id":["S0022481200043693"],"URL":"https:\/\/doi.org\/10.2307\/2273101","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1982,12]]}}}