Aanderaa, S. 1974 Inductive definitions and their closure ordinals, in Fenstad-Hinman [1974], 207-220.Google Scholar

Ackermann, W. 1928 Zum Hilbertschen Aufbau der reelen Zahlen, Math. Annalen 99 (1928) 118-133.Google Scholar

Aczel, P. 1970 Representability in some systems of second order arithmetic, Israel Jour. Math. (1970) 309-328.Google Scholar

Aczel, P. 1975 Quantifiers, games, and inductive definitions, in Kanger [1975], 1-14.

Aczel, P. and Hinman, P.G. 1974 Recursion in the superjump, in Fenstad-Hinman [1974], 3-41.

Aczel, P. and Richter, W.H. 1974 Inductive definitions and reflecting properties of admissible ordinals, in Fenstad-Hinman [1974], 301-381.

Addison, J.W. Jr. 1954 On Some Points of the Theory of Recursive Functions, Ph.D. thesis; University of Wisconsin, Madison, 1954, 92 pp.

Addison, J.W. Jr. 1955 Analogies in the Borel, Lusin, and Kleene hierarchies, I, II (abstracts), Bull. Amer. Math. Soc. 61 (1955) 75, 171-172.Google Scholar

Addison, J.W. Jr. 1959 Separation principles in the hierarchies of classical and effective descriptive set theory, Fund. Math. 46 (1959) 123-135.Google Scholar

Addison, J.W. Jr. 1959a Some consequences of the axiom of constructibility, Fund. Math. 46 (1959) 337-357.Google Scholar

Addison, J.W. Jr. 1965 The undefinability of the definable (abstract), Notices Amer. Math. Soc. 12 (1965) 347.Google Scholar

Addison, J.W. Jr. and Moschovakis, Y.N. 1968 Some consequences of the axiom of definable determinateness, Proc. Nat. Acad. Sci. USA 59 (1968) 708-712.Google Scholar

Amstislavskij, V.I. 1970 Effective R-sets and transfinite extensions of recursive hierarchies, Fund. Math. 68 (1970) 61-68.Google Scholar

Amstislavskij, V.I. 1970a On the decomposition of a field of sets obtained by an R -operation over recursive sets, Soviet Mathematics 11 (1970) 419-422.Google Scholar

Anonymous, 1961 Infinitistic Methods (Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 1959), Pergamon Press, Oxford, 1961, 362 pp.

Bar-Hillel, Y. 1965 Logic, Methodology, and Philosophy of Science II (Proceedings of the International Congress, Jerusalem, 1964, Editor), North-Holland, Amsterdam, 1965, 440 pp.

Bar-Hillel, Y. 1970 Mathematical Logic and Foundations of Set Theory (Proceedings of an international colloquium, Jerusalem, 1968, Editor), North-Holland, Amsterdam, 1970, 145 pp.

Bar-Hillel, Y., Poznanski, E.I.J., Rabin, M.O., and Robinson, A. 1961 Essays on the Foundations of Mathematics (Dedicated to A.A. Fraenkel on his seventieth anniversary, Editors), Magnus Press, Hebrew University, Jerusalem, 1961, 351 pp.

Barnes, R.F. 1965 The classification of recursive sets of number-theoretic functions (abstract), Notices Amer. Math. Soc. 12 (1965) 622-623.Google Scholar

Barwise, K.J. 1975 Admissible Sets and Structures, Perspectives in Mathematical Logic 1, Springer-Verlag, Berlin-Heidelberg-New York, 1975, 394 pp.

Barwise, K.J. 1977 Handbook of Mathematical Logic, North-Holland, Amsterdam, 1977.

Barwise, K.J. and Fisher, E. 1970 The Shoenfield absoluteness lemma, Israel Jour. Math. 8 (1970) 329-339.Google Scholar

Blackwell, D. 1967 Infinite games and analytic sets, Proc. Nat. Acad. Sci. U.S.A. 58 (1967) 1836-1837.Google Scholar

Bulloff, J.J., Hahn, S.W., and Holyoke, T.C. 1969 Foundations of Mathematics (Symposium papers commemorating the sixtieth birthday of Kurt Gödel, Columbus, Ohio, 1966, Editors), Springer-Verlag, Berlin-Heidelberg-New York, 1969, 195 pp.

Cenzer, D. 1974 Ordinal recursion and inductive definitions, in Fenstad-Hinman [1974], 221-264.

Cenzer, D. 1974a Analytic inductive definitions, Jour. Symb. Log. 39 (1974) 310-312.

Cenzer, D. 1974b Inductively defined sets of reals, Bull. Amer. Math. Soc. 80 (1974) 485-487.

Chang, C.C. and Moschovakis, Y.N. 1970 The Suslin-Kleene theorem for Vκ with cofinality (κ)= ω, Pacific Jour. Math. 35 (1970) 565-569.Google Scholar

Clarke, D.A. 1964 Hierarchies of Predicates of Finite Types, Memoirs of the Amer. Math. Soc. 51, American Mathematical Society, Providence, R.I., 1964, 95 pp.

Cohen, P.J. 1963/64 The independence of the continuum hypothesis, I, II, Proc. Nat. Acad. Sci. U.S.A. 50 (1963) 1143-1148, 51 (1964) 105-110.

Crossley, J.N. 1967 Sets, Models, and Recursion Theory (Proceedings of the Summer School in Mathematical Logic and Logic Colloquium, Leicester, England, 1965, Editor), North-Holland, Amsterdam, 1967, 331 pp.

Davis, M. 1964 Infinite games of perfect information, Advances in Game Theory, Annals of Math. Studies 52 (1964) 85-101.Google Scholar

Dekker, J.C.E. 1962 Recursive Function Theory (Proceedings of the Fifth Symposium in Pure Mathematics of the Amer. Math. Soc, New York, 1961, Editor), American Mathematical Society, Providence, R.I., 1962, 247 pp.

Devlin, K.J. 1973 Aspects of Constructibility, Lecture Notes in Mathematics 354, Springer-Verlag, Berlin-Heidelberg-New York, 1973, 240 pp.

Devlin, K.J. 1974 An introduction to the fine structure of the constructible hierarchy (results of Ronald Jensen), in Fenstad-Hinman [1974], 123-163.

Enderton, H.B. 1964 Hierarchies in recursive function theory, Trans. Amer. Math. Soc. 1ll (1964) 457-471.Google Scholar

Enderton, H.B. 1970 The unique existential quantifier, Archiv. f. math. Logik und Grundl. 13/1-2 (1970) 52-54.Google Scholar

Enderton, H.B. 1972 A Mathematical Introduction to Logic, Academic Press, New York, 1972, 293 pp.

Feferman, S. 1964/65 Some applications of the notions of forcing and generic sets, Fund. Math. 56 (1964/65) 325-345.Google Scholar

Fenstad, J.E. 1971 Proceedings of the Second Scandanavian Logic Symposium (Oslo, 1970, Editor), North- Holland, Amsterdam, 1971, 413 pp.

Fenstad, J.E. 1971a The axiom of determinateness, in Fenstad [1971], 41-61.

Fenstad, J.E. 1974 On axiomatizing recursion theory, in Fenstad-Hinman [1974], 385-404.

Fenstad, J.E. 1975 Computation theories: an axiomatic approach to recursion on general structures, in Müller et al. [1975], 143-168.

Fenstad, J.E. 1980? Computation Theories: an Axiomatic Approach to Recursion on General Structures, Perspectives in Mathematical Logic, Springer-Verlag, Berlin-Heidelberg-New York, to appear.

Fenstad, J.E. and Hinman, P.G. 1974 Generalized Recursion Theory (Proceedings of the 1972 Oslo Symposium, Editors), North-Holland, Amsterdam, 1974, 456 pp.

Fenstad, J.E. and Normann, D. 1974 On absolutely measurable sets, Fund. Math. 81 (1974) 91-98.

Friedman, H.M. 1971 Determinateness in the low projective hierarchy, Fund. Math. 72 (1971) 79-95.

Gale, D. and Stewart, F.M. 1953 Infinite games with perfect information, Contributions to the Theory of Games II, Ann. of Math. Studies 28 (1953) 245-266.Google Scholar

Gandy, R.O. 1960 Proof of Mostowski's conjecture, Bull. Acad. Polon. Sci. 8 (1960) 571-575.

Gandy, R.O. 1967 Computable functionals of finite type I, in Crossley [1967], 202-242.

Gandy, R.O. 1967a General recursive functionals of finite type and hierarchies of functions, Ann. Fac. Sci. Univ. Clermont-Ferrand 35 (1967) 5-24.Google Scholar

Gandy, R.O. and Yates, C.E.M. 1971 Logic Colloquium ’69 (Proceedings of the Summer School and Colloquium in Mathematical Logic, Manchester, 1969, Editors), North-Holland, Amsterdam, 1971, 451 pp.

Gödel, K. 1931 Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I, Monatshefte für Mathematik und Physik 38 (1931) 173-198.Google Scholar

Gödel, K. 1939 Consistency -proof for the generalized continuum-hypothesis, Proc. Nat. Acad. Sci. U.S.A. 25 (1939) 220-224.

Gordon, C. 1970 Comparisons between some generalizations of recursion theory, Compositio Math. 22 (1970) 333-346.Google Scholar

Grilliot, T.J. 1969 Selection functions for recursive functionals, Notre Dame J. of Formal Logic 10 (1969) 225-234.Google Scholar

Grilliot, T.J. 1969a Hierarchies based on objects of finite types, Jour. Symb. Log. 34 (1969) 177-182.

Grilliot, T.J. 1971 On effectively discontinuous type-2 objects, Jour. Symb. Log. 36 (1971) 245-248.

Grilliot, T.J. 1971a Inductive definitions and computability, Trans. Amer. Math. Soc. 158 (1971) 309-317.

Harrington, L.A. 1973 Contributions to Recursion Theory on Higher Types (or, a Proof of Harrington's Conjecture), Ph.D. thesis, MIT, 1973.

Harrington, L.A. 1974 The superjump and the first recursively Mahlo ordinal, in Fenstad-Hinman [1974], 43-52.

Harrington, L.A. 1975 Π1 2 sets and Π1 2 singletons, Proc. Amer. Math. Soc. 52 (1975) 356-360.

Harrington, L.A. 1978 Consistency and independence results in descriptive set theory, I, II, to appear in Ann. of Math.

Harrington, L.A. and Mac Queen, D.B. 1976 Selection in abstract recursion theory, Jour. Symb. Log. 41 (1976) 153-158.

Harrington, L.A. and Kechris, A.S. 1975 On characterizing Spector classes, Jour. Symb. Log. 40 (1975) 19-24.

Harrington, L.A. and Kechris, A.S. 1976 On monotone vs. non-monotone induction, Bull. Amer. Math. Soc. 82 (1976) 888-890.

Hinman, P.G. 1964 Some theorems on relative recursiveness of higher type objects (abstract), Notices Amer. Math. Soc. 11 (1964) 677.Google Scholar

Hinman, P.G. 1966 Ad Astra per Aspera: Hierarchy Schemata in Recursive Function Theory, Ph.D. thesis, University of California, Berkeley, 1966, 133 pp.

Hinman, P.G. 1969 Hierarchies of effective descriptive set theory, Trans. Amer. Math. Soc. 142 (1969) 111-140.

Hinman, P.G. 1969a Some applications of forcing to hierarchy problems in arithmetic, Zeitschr. f. math. Logik u. Grundlagen d. Math. 15 (1969) 341-352.

Hinman, P.G. 1973 The finite levels of the hierarchy of effective R-sets, Fund. Math. 74 (1973) 1-10.

Hinman, P.G. and Moschovakis, Y.N. 1971 Computability over the continuum, in Gandy-Yates [1971], 77-105.

Jensen, R.B. and Karp, C. 1971 Primitive recursive set functions, in Scott [1971], 143-176.

Kanger, S. 1975 Proceedings of the Third Scandinavian Logic Symposium (Uppsala, Sweden, 1973, Editor), North-Holland, Amsterdam, 1975, 214 pp.

Kantorovitch, L. and Livenson, E. 1932/33 Memoir on the analytical operations and projective sets, I and II, Fund. Math. 18 (1932) 214-279 and 20 (1933) 54-97.

Kechris, A.S. 1973 Measure and category in effective descriptive set theory, Ann. Math. Logic 5 (1973) 337-384.

Kechris, A.S. 1973a The structure of envelopes: a survey of recursion theory in higher types , MIT Logic Seminar notes, 1973, 28 pp.

Kechris, A.S. 1974 On projective ordinals, Jour. Symb. Log. 39 (1974) 269-282.

Kechris, A.S. and Moschovakis, Y.N. 1977 Recursion in higher types, in Barwise [1977], 681-737.

Kino, A. and Takeuti, G. 1962 On hierarchies of predicates of ordinal numbers, Jour. Math. Soc. Japan 14 (1962) 199-232.

Kino, A. and Takeuti, G. 1962a A note on predicates of ordinal numbers, Jour. Math. Soc. Japan 14 (1962) 367-378.

Kleene, S.C. 1935/36 General recursive functions of natural numbers, Math. Ann. 112 (1935/36) 727-742.

Kleene, S.C. 1943 Recursive predicates and quantifiers, Trans. Amer. Math. Soc. 53 (1943) 41-73.

Kleene, S.C. 1950 A symmetric form of Gödel's theorem, Proceedings of the Koninklijke Nederlandse Akademie van Wetenschappen 53 (1950) 800-802 and Indag. Math. 12 (1950) 244-246.Google Scholar

Kleene, S.C. 1952 Recursive functions and intuitionistic mathematics, Proceedings of the International Congress of Mathematicians, Cambridge, Mass., 1950, 679-685, American Mathematical Society, Providence, R.I., 1952.Google Scholar

Kleene, S.C. 1955 On the forms of the predicates in the theory of constructive ordinals (second paper), Amer. J. Math. 77 (1955) 405-428.

Kleene, S.C. 1955a Arithmetic predicates and function quantifiers, Trans. Amer. Math. Soc. 79 (1955) 312-340.

Kleene, S.C. 1955b Hierarchies of number-theoretic predicates, Bull. Amer. Math. Soc. 61 (1955) 193-213.

Kleene, S.C. 1959 Recursive functionals and quantifiers of finite types I, Trans. Amer. Math. Soc. 91 (1959) 1-52.

Kleene, S.C. 1959a Quantification of number-theoretic functions, Compos. Math. 14 (1959) 23-41.

Kleene, S.C. 1963 Recursive functionals and quantifiers of finite types II, Trans. Amer. Math. Soc. 108 (1963) 106-142.

Kondô, M. 1938 Sur l'uniformization des complémentaires analytiques et les ensembles projectifs de la seconde classe, Japanese Jour, of Math. 15 (1938) 197-230.

Kreisel, G. 1961 Set theoretic methods suggested by the notion of potential totality, in Anonymous [1961], 103-140.

Kreisel, G. 1962 The axiom of choice and the class of hyperarithmetic functions, Indag. Math. 24 (1962) 307-319.

Kreisel, G. 1971 Some reasons for generalizing recursion theory, in Gandy-Yates [1971], 139-198.

Kreisel, G. and Sacks, G.E. 1965 Metarecursive sets, Jour. Symb. Log. 30 (1965) 318-338.

Kripke, S. 1964 Transfinite recursions on admissible ordinals, I, II (abstracts), Jour. Symb. Log. 29 (1964) 161-162.

Kripke, S. 1964a Admissible ordinals and the analytic hierarchy (abstract), Jour. Symb. Log. 29 (1964) 162.

Kuratowski, K. 1966 Topology I, Academic Press, New York, 1966, 560 pp.

Lerman, M. 198? The Uppersemilattice of Degrees of Unsolvability, Perspectives in Mathematical Logic, Springer-Verlag, Berlin–Heidelberg–New York, to appear.

Lévy, A. 1963 Transfinite computability (abstract), Notices Amer. Math. Soc. 10 (1963) 286.

Lévy, A. 1965 A Hierarchy of Formulas in Set Theory, Memoirs of the Amer. Math. Soc. 57, American Mathematical Society, Providence, R.I., 1965, 76 pp.

Lévy, A. 1965a Definability in axiomatic set theory I, in Bar-Hillel [1965], 127-151.

Lévy, A. 1978 An Introduction to Set Theory, Perspectives in Mathematical Logic 3, Springer-Verlag, Berlin-Heidelberg-New York, to appear.

Ljapunov, A.A. 1949 On δs-operations preserving measurability and the property of Baire (Russian), Mat. Sbornik N.S. 24 (66) (1949) 119-127.

Ljapunov, A.A. 1953 R-Sets (Russian), Trudy Mat. Inst. Steklov. 40, Izdat Akad. Nauk SSSR, Moscow, 1953, 67 pp.

Ljapunov, A.A. 1953a On the classification of R-sets (Russian), Mat. Sbornik N.S. 32 (74) (1953) 255-262.

Ljapunov, A.A., Stschegolkow, E.A., and Arsenin, W.J. 1955 Arbeiten zur Deskriptiven Mengenlehre, Deutscher Verlag der Wissenschaften, Berlin, 1955, 108 pp.

Lorenzen, P. and Myhill, J. 1959 Constructive definition of certain analytic sets of numbers, Jour. Symb. Log. 24 (1959) 37-49.Google Scholar

Luzin, N. 1930 Lecons sur les Ensembles Analytiques et leurs Applications, Gauthier-Villars, Paris, 1930, 328 pp.

Machover, M. 1961 The theory of transfinite recursion, Bull. Amer. Math. Soc. 67 (1961) 575-578.Google Scholar

Martin, D.A. 1968 The axiom of determinateness and reduction principles in the analytical hierarchy, Bull. Amer. Math. Soc. 74 (1968) 687-689.Google Scholar

Martin, D.A. 1970 Measurable cardinals and analytic games, Fund. Math. 66 (1970) 287-291.Google Scholar

Martin, D.A. 1975 Borel determinacy, Annals of Math. 102 (1975) 363-371.Google Scholar

Martin, D.A. 1977 Projective sets and cardinal numbers: some questions related to the continuum problem, mimeographed, to appear revised in Jour. Symb. Log.Google Scholar

Martin, D.A. 1979? Borel and Projective Games, Perspectives in Mathematical Logic, Springer-Verlag, Berlin-Heidelberg-New York, to appear.

Moldestad, J. 1977 Computations in Higher Types, Lecture Notes in Mathematics 574, Springer-Verlag, Berlin-Heidelberg-New York, 1977, 203 pp.

Moschovakis, Y.N. 1967 Hyperanalytic predicates, Trans. Amer. Math. Soc. 129 (1967) 249-282.Google Scholar

Moschovakis, Y.N. 1969 Abstract first-order computability I, Trans. Amer. Math. Soc. 138 (1969) 427-464, II 138 (1969) 465-504.Google Scholar

Moschovakis, Y.N. 1969a The lack of hierarchies on the second projective class (preliminary report) (abstract), Jour. Symb. Log. 34 (1969) 155-156.Google Scholar

Moschovakis, Y.N. 1970 Determinacy and prewellorderings of the continuum, in Bar-Hillel [1970], 24-63.Google Scholar

Moschovakis, Y.N. 1970a The Suslin-Kleene theorem for countable structures, Duke Jour. Math. 37 (1970) 344-352.Google Scholar

Moschovakis, Y.N. 1971 Axioms for computation theories — first draft, in Gandy-Yates [1971], 199-255.Google Scholar

Moschovakis, Y.N. 1971a Uniformization in a playful universe, Bull. Amer. Math. Soc. 77 (1971) 731-736.Google Scholar

Moschovakis, Y.N. 1972 The game quantifier, Proc. Amer. Math. Soc. 31 (1972) 245-250.Google Scholar

Moschovakis, Y.N. 1973 Analytic definability in a playful universe, in Suppes et al. [1973], 77-85.

Moschovakis, Y.N. 1974 Elementary Induction on Abstract Structures, North-Holland, Amsterdam, 1974, 218 pp.

Moschovakis, Y.N. 1974a Structural characterizations of classes of relations, in Fenstad-Hinman [1974], 53-79.

Moschovakis, Y.N. 1974b On non-monotone inductive definability, Fund. Math. 82 (1974) 39-83.Google Scholar

Moschovakis, Y.N. 1978 On the basic notions in the theory of induction, to appear in the Proceedings of the Fifth International Congress for Logic, Methodology, and Philosophy of Science, London, Ontario, Canada, 1975.

Moschovakis, Y.N. 1979? Descriptive Set Theory: A Foundational Approach, North-Holland, Amsterdam, to appear.

Mostowski, A.M. 1946 On definable sets of positive integers, Fund. Math. 34 (1946) 81-112.Google Scholar

Mostowski, A.M. 1955 Contributions to the theory of definable sets and functions, Fund. Math. 42 (1955) 271-275.Google Scholar

Mostowski, A.M. 1969 Constructible Sets with Applications, North-Holland, Amsterdam 1969, 269 pp.

Müller, G.H., Oberschelp, A., and Potthoff, K. 1975 Logic Conference Kiel, 1974 (Proceedings of the International Summer Institute and Logic Colloquium, Editors), Lecture Notes in Mathematics 499, Springer-Verlag, Berlin-Heidelberg-New York, 1975, 651 pp.

Mycielski, J. 1964 On the axiom of determinateness, Fund. Math. 53 (1964) 205-224.Google Scholar

Mycielski, J. 1971 On some consequences of the axiom of determinateness, in Scott [1971], 265-266.

Mycielski, J. and Steinhaus, H. 1962 A mathematical axiom contradicting the axiom of choice, Bull. Acad. Polon. des Sciences 10 (1962) 1-3.Google Scholar

Mycielski, J. and Swierczkowski, S. 1964 On the Lebesgue measurability and the axiom of determinateness, Fund. Math. 54 (1964) 67-71.Google Scholar

Myhill, J. 1961 Category methods in recursion theory, Pacific Jour. Math. 11 (1961) 1479-1486.Google Scholar

Oxtoby, J.C. 1971 Measure and Category; A Survey of the Analogies between Topological and Measure Spaces, Springer-Verlag, Berlin-Heidelberg-New York, 1971, 95 pp.

Paris, J.B. 1972 ZF Σ0 4 determinateness, Jour. Symb. Log. 37 (1972) 661-667.Google Scholar

Péter, R. 1935 Konstruktion nichtrekursiver Funktionen, Math. Annalen 111 (1935) 42-60.Google Scholar

Péter, R. 1967 Recursive Functions, Academic Press, New York, 1967, 300 pp.

Platek, R.A. 1966 Foundations of Recursion Theory, Ph.D. thesis and supplement, Stanford University, 1966.

Post, E.L. 1944 Recursively enumerable sets of positive integers and their decision problems, Bull. Amer. Math. Soc. 50 (1944) 284-316.Google Scholar

Putnam, H. 1964 On hierarchies and systems of notations, Proc. Amer. Math. Soc. 15 (1964) 44-50.Google Scholar

Richter, W.H. 1968 Constructively accessible ordinal numbers, Jour. Symb. Log. 33 (1968) 43-55.Google Scholar

Richter, W.H. 1971 Recursively Mahlo ordinals and inductive definitions, in Gandy-Yates [1971], 273-288.

Richter, W.H. 1975 The least Σ1 2 and Π1 2 reflecting ordinals, in Müller et al [1975], 568-578.

Rogers, H., Jr. 1959 Recursive functions over well-ordered partial orderings, Proc. Amer. Math. Soc. 10 (1959) 847-853.Google Scholar

Rogers, H., Jr. 1967 Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York, 1967, 482 pp.

Sacks, G.E. 1963 Degrees of Unsolvability, Annals of Math. Studies 55, Princeton Univ. Press, Princeton, 1963, 174 pp.

Sacks, G.E. 1966 Metarecursively enumerable sets and admissible ordinals, Bull. Amer. Math. Soc. 72 (1966) 59-64.Google Scholar

Sacks, G.E. 1966a Post's problem, admissible ordinals, and regularity, Trans. Amer. Math. Soc. 124 (1966) 1-23.Google Scholar

Sacks, G.E. 1967 Metarecursion theory, in Crossley [1967], 243-263.

Sacks, G.E. 1969 Measure -theoretic uniformity in recursion theory and set theory, Trans. Amer. Math. Soc. 142 (1969) 381-420.Google Scholar

Sacks, G.E. 1971 On the reducibility of Π1 1 sets, Advances in Math. 7 (1971) 57-82.Google Scholar

Sacks, G.E. 1974 The 1-section of a type-n object, in Fenstad-Hinman [1974], 81-93.

Sacks, G.E. 1978 The k-section of a type-n object, Amer. J. Math., to appear.

Sacks, G.E. and Simpson, S.G. 1972 The a-finite injury method, Ann. Math. Log. 4 (1972) 343-367.Google Scholar

Scott, D.S. 1971 Axiomatic Set Theory I (Proceedings of the Thirteenth Symposium in Pure Mathematics of the Amer. Math. Soc, Los Angeles, 1967, Editor), American Mathematical Society, Providence, R.I., 1971, 474 pp.

Shoenfield, J.R. 1958 The class of recursive functions, Proc. Amer. Math. Soc. 9 (1958) 690-692.Google Scholar

Shoenfield, J.R. 1961 The problem of predicativity, in Bar-Hillel et. al. [1961], 132-139.

Shoenfield, J.R. 1962 The form of the negation of a predicate, in Dekker [1962], 131-134.

Shoenfield, J.R. 1967 Mathematical Logic, Addison-Wesley, Reading, Mass., 1967, 344 pp.

Shoenfield, J.R. 1968 A hierarchy based on a type-2 object, Trans. Amer. Math. Soc. 134 (1968) 103-108.Google Scholar

Shoenfield, J.R. 1971 Unramified forcing, in Scott [1971], 357-381.

Shoenfield, J.R. 1971a Degrees of Unsolvability, North-Holland, Amsterdam, 1971, 111 pp.

Shoenfield, J.R. 1971b Measurable cardinals, in Gandy-Yates [1971], 19-49.

Shore, R.A. 1977 α-Recursion theory, in Barwise [1977].

Simpson, S.G. 1974 Degree theory on admissible ordinals, in Fenstad-Hinman [1974], 165-193.

Simpson, S.G. 1984? Admissible Recursion Theory, Perspectives in Mathematical Logic, Springer-Verlag, Berlin-Heidelberg-New York, to appear.

Solovay, R.M. 1969 On the cardinality of Σ1 2 sets of reals, in Bulloff et ai [1969], 58-73.

Spector, C. 1955 Recursive well-orderings, Jour. Symb. Log. 20 (1955) 151-163.Google Scholar

Spector, C. 1958 Measure -theoretic construction of incomparable hyperdegrees, Jour. Symb. Log. 23 (1958) 280-288.Google Scholar

Spector, C. 1959 Hyperarithmetic quantifiers, Fund. Math. 48 (1959) 313-320.Google Scholar

Spector, C. 1961 Inductively defined sets of natural numbers, in Anonymous [1961], 97-102.

Strong, H.R. 1968 Algebraically generalized recursive function theory, IBM Jour. Res. Devel. 12 (1968) 465-475.Google Scholar

Suppes, P., Henkin, L., Joja, A., and Moisil, Gr. C. 1973 Logic, Methodology, and Philosophy of Science IV (Proceedings of the Fourth International Congress for Logic, Methodology, and Philosophy of Science, Bucharest, Romania, 1971, Editors) North-Holland, Amsterdam, 1973, 981 pp.

Suzuki, Y. 1964 A complete classification of the AJ-functions, Bull. Amer. Math. Soc. 70 (1964) 246-253.

Takeuti, G. 1960 On the recursive functions of ordinal numbers, Jour. Math. Soc. of Japan 12 (1960) 119-128.Google Scholar

Takeuti, G. 1965 Recursive functions and arithmetic functions of ordinal numbers, in Bar-Hillel [1965], 179-196.

Tanaka, H. 1967 Some results in the effective descriptive set theory, Publ. Res. Inst. Math. Sci. Kyoto Univ., Ser. A, 3 (1967) 11-52.Google Scholar

Tanaka, H. 1968 A basis result for Π1 1 sets of positive measure, Comment. Math. Univ. St. Paul 16 (1968) 115-127.

Tanaka, H. 1970 On analytic well-orderings, Jour. Symb. Log. 35 (1970) 198-203.Google Scholar

Tanaka, H. 1970a On a n? set of positive measure, Nagoya Math. J. 38 (1970) 139-144.

Tugué, T. 1960 Predicates recursive in a type-2 object and Kleene hierarchies, Comment. Math. Univ. St. Paul 8 (1960) 97-117.Google Scholar

Turing, A.M. 1936 On computable numbers with an application to the Entscheidungsproblem, Proc. London Math. Soc., Series 2, 42 (1936) 230-265 and 43 (1936) 544-546.Google Scholar

Wagner, E.G. 1969 Uniform reflexive structures: on the nature of Gödelizations and relative computability, Trans. Amer. Math. Soc. 144 (1969) 1-41.Google Scholar

Zuckerman, M.M. 1974 Sets and Transfinite Numbers, Macmillan, New York, 1974, 423 pp.