{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T13:28:23Z","timestamp":1648646903177},"reference-count":12,"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":15076,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1972,12]]},"abstract":"<jats:p>Let <jats:italic>\u03b1<\/jats:italic> be a limit ordinal with the property that any \u201crecursive\u201d function whose domain is a proper initial segment of <jats:italic>\u03b1<\/jats:italic> has its range bounded by <jats:italic>\u03b1<\/jats:italic>. <jats:italic>\u03b1<\/jats:italic> is then called admissible (in a sense to be made precise later) and a recursion theory can be developed on it (<jats:italic>\u03b1<\/jats:italic>-recursion theory) by providing the generalized notions of <jats:italic>\u03b1<\/jats:italic>-recursively enumerable, <jats:italic>\u03b1<\/jats:italic>-recursive and <jats:italic>\u03b1<\/jats:italic>-finite. Takeuti [12] was the first to study recursive functions of ordinals, the subject owing its further development to Kripke [7], Platek [8], Kreisel [6], and Sacks [9].<\/jats:p><jats:p>Infinitary logic on the other hand (i.e., the study of languages which allow expressions of infinite length) was quite extensively studied by Scott [11], Tarski, Kreisel, Karp [5] and others. Kreisel suggested in the late '50's that these languages (even <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S0022481200078488_inline1\" \/> which allows countable expressions but only finite quantification) were too large and that one should only allow expressions which are, in some generalized sense, finite. This made the application of generalized recursion theory to the logic of infinitary languages appear natural. In 1967 Barwise [1] was the first to present a complete formalization of the restriction of <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S0022481200078488_inline1\" \/> to an admissible fragment <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S0022481200078488_inline2\" \/> (<jats:italic>A<\/jats:italic> a countable admissible set) and to prove that completeness and compactness hold for it. [2] is an excellent reference for a detailed exposition of admissible languages.<\/jats:p>","DOI":"10.2307\/2272413","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T17:19:43Z","timestamp":1146935983000},"page":"677-682","source":"Crossref","is-referenced-by-count":1,"title":["<i>\u03b1<\/i>-degrees of <i>\u03b1<\/i>-theories"],"prefix":"10.1017","volume":"37","author":[{"given":"George","family":"Metakides","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200078488_ref008","unstructured":"Platek R. , Foundations of recursion theory, Ph.D. Thesis, Stanford University, Stanford, Calif., 1966."},{"key":"S0022481200078488_ref007","first-page":"161","volume":"29","author":"Kripke","year":"1964","journal-title":"Transfinite recursions on admissible ordinals"},{"key":"S0022481200078488_ref009","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)71510-6"},{"key":"S0022481200078488_ref006","first-page":"318","volume":"30","author":"Kreisel","year":"1965","journal-title":"Metarecursive sets"},{"key":"S0022481200078488_ref002","first-page":"226","volume":"34","author":"Barwise","year":"1969","journal-title":"Infinitary logic and admissible sets"},{"key":"S0022481200078488_ref004","first-page":"161","volume":"22","author":"Feferman","year":"1957","journal-title":"Degrees of unsolvability associated with classes of formalized theories"},{"key":"S0022481200078488_ref001","unstructured":"Barwise Jon , Infinitary logic and admissible sets, Doctoral Dissertation, Stanford University, Stanford, Calif., 1967."},{"key":"S0022481200078488_ref011","first-page":"329","volume-title":"The theory of models","author":"Scott","year":"1965"},{"key":"S0022481200078488_ref005","volume-title":"Languages with expressions of infinite length","author":"Karp","year":"1964"},{"key":"S0022481200078488_ref003","doi-asserted-by":"publisher","DOI":"10.4064\/fm-51-2-117-129"},{"key":"S0022481200078488_ref010","volume-title":"Higher recursion theory","author":"Sacks"},{"key":"S0022481200078488_ref012","doi-asserted-by":"publisher","DOI":"10.2969\/jmsj\/01220119"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200078488","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T16:32:54Z","timestamp":1559233974000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200078488\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1972,12]]},"references-count":12,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1972,12]]}},"alternative-id":["S0022481200078488"],"URL":"https:\/\/doi.org\/10.2307\/2272413","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1972,12]]}}}