{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,6,12]],"date-time":"2022-06-12T21:18:59Z","timestamp":1655068739099},"reference-count":18,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1985,7,1]],"date-time":"1985-07-01T00:00:00Z","timestamp":489024000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":10243,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[1985,7]]},"DOI":"10.1016\/0168-0072(85)90036-3","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T03:45:40Z","timestamp":1027655140000},"page":"79-106","source":"Crossref","is-referenced-by-count":5,"title":["Reflection and forcing in E-recursion theory"],"prefix":"10.1016","volume":"29","author":[{"given":"Theodore A.","family":"Slaman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0168-0072(85)90036-3_BIB1","article-title":"Generalized recursive functionals of finite type and hierarchies of functions","author":"Gandy","year":"1962","journal-title":"Paper given at the Symposium on Mathematical Logic held at Univ. of Clermont Ferrand"},{"key":"10.1016\/0168-0072(85)90036-3_BIB2","unstructured":"E.R. Griffor, Private correspondance"},{"key":"10.1016\/0168-0072(85)90036-3_BIB3","series-title":"Effective cofinalities and admissibility in E-recursion","author":"Griffor","year":"1982"},{"key":"10.1016\/0168-0072(85)90036-3_BIB4","series-title":"Ph.D. Thesis","article-title":"Contributions to recursion theory on higher types","author":"Harrington","year":"1973"},{"key":"10.1016\/0168-0072(85)90036-3_BIB5","series-title":"Ph.D. Thesis","article-title":"Recursion on Sets","author":"Hoole","year":"1982"},{"key":"10.1016\/0168-0072(85)90036-3_BIB6","doi-asserted-by":"crossref","unstructured":"R.B. Jensen and C. Karp, Primitive recursive set function, AMS Proc. Symp. in Pure Math. 13, part 1, 143-172.","DOI":"10.1090\/pspum\/013.1\/0281602"},{"key":"10.1016\/0168-0072(85)90036-3_BIB7","first-page":"1","article-title":"Recursive functionals and quantifiers of finite types I","volume":"91","author":"Kleene","year":"1959","journal-title":"Trans. AMS"},{"key":"10.1016\/0168-0072(85)90036-3_BIB8","first-page":"106","article-title":"Recursive functionals and quantifiers of finite types II","volume":"108","author":"Kleene","year":"1963","journal-title":"Trans. AMS"},{"key":"10.1016\/0168-0072(85)90036-3_BIB9","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1090\/S0002-9947-1967-0236010-2","article-title":"Hyperanalytic predicates","volume":"138","author":"Moschovakis","year":"1967","journal-title":"Trans. AMS"},{"key":"10.1016\/0168-0072(85)90036-3_BIB10","series-title":"Generalized Recursion Theory II","first-page":"39","article-title":"Set recursion","author":"Normann","year":"1978"},{"key":"10.1016\/0168-0072(85)90036-3_BIB11","series-title":"Generalized Recursion Theory","first-page":"81","article-title":"The 1-section of a type n object","author":"Sacks","year":"1974"},{"key":"10.1016\/0168-0072(85)90036-3_BIB12","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/0001-8708(76)90187-0","article-title":"Countable admissible ordinals and hyperdegrees","volume":"20","author":"Sacks","year":"1976","journal-title":"Advances in Math."},{"key":"10.1016\/0168-0072(85)90036-3_BIB13","doi-asserted-by":"crossref","first-page":"901","DOI":"10.2307\/2373990","article-title":"The k-section of a type n object","volume":"99","author":"Sacks","year":"1977","journal-title":"Amer. J. Math."},{"key":"10.1016\/0168-0072(85)90036-3_BIB14","series-title":"Recursion Theory: its Generalisations and Applications","first-page":"184","article-title":"Three aspects of recursive enumerability in higher types","author":"Sacks","year":"1980"},{"key":"10.1016\/0168-0072(85)90036-3_BIB15","unstructured":"G.E. Sacks, On the limits of recursive enumerability, to appear."},{"key":"10.1016\/0168-0072(85)90036-3_BIB16","unstructured":"G.E. Sacks and T.A. Slaman, Inadmissible forcing, to appear."},{"key":"10.1016\/0168-0072(85)90036-3_BIB17","series-title":"Ph.D. Thesis","article-title":"Aspects of E-recursion","author":"Slaman","year":"1981"},{"key":"10.1016\/0168-0072(85)90036-3_BIB18","series-title":"Ph.D. Thesis","article-title":"Subsystems of analysis and the axiom of determinacy","author":"Steel","year":"1977"}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0168007285900363?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0168007285900363?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,2,5]],"date-time":"2020-02-05T11:12:04Z","timestamp":1580901124000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0168007285900363"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,7]]},"references-count":18,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1985,7]]}},"alternative-id":["0168007285900363"],"URL":"https:\/\/doi.org\/10.1016\/0168-0072(85)90036-3","relation":{},"ISSN":["0168-0072"],"issn-type":[{"value":"0168-0072","type":"print"}],"subject":[],"published":{"date-parts":[[1985,7]]}}}