A complete classification of the $\Delta _2^1$-functions
HTML articles powered by AMS MathViewer
- by Yoshindo Suzuki PDF
- Bull. Amer. Math. Soc. 70 (1964), 246-253
References
-
1. J. W. Addison, Hierarchies and the axiom of constructibility, Summaries of talks presented at the Summer Institute of Symbolic Logic in 1957 at Cornell University, p. 355-362.
- J. W. Addison, Some consequences of the axiom of constructibility, Fund. Math. 46 (1959), 337–357. MR 124206, DOI 10.4064/fm-46-3-337-357
- J. W. Addison and S. C. Kleene, A note on function quantification, Proc. Amer. Math. Soc. 8 (1957), 1002–1006. MR 91243, DOI 10.1090/S0002-9939-1957-0091243-2
- R. O. Gandy, On a problem of Kleene’s, Bull. Amer. Math. Soc. 66 (1960), 501–502. MR 122724, DOI 10.1090/S0002-9904-1960-10518-6 5. R. O. Gandy, Complete predicates for the analytic hierarchy, Abstract 150-62, Notices Amer. Math. Soc. 9 (1962), 222.
- Stephen Cole Kleene, Introduction to metamathematics, D. Van Nostrand Co., Inc., New York, N. Y., 1952. MR 0051790
- S. C. Kleene, Arithmetical predicates and function quantifiers, Trans. Amer. Math. Soc. 79 (1955), 312–340. MR 70594, DOI 10.1090/S0002-9947-1955-0070594-4
- S. C. Kleene, On the forms of the predicates in the theory of constructive ordinals. II, Amer. J. Math. 77 (1955), 405–428. MR 70595, DOI 10.2307/2372632
- S. C. Kleene, Hierarchies of number-theoretic predicates, Bull. Amer. Math. Soc. 61 (1955), 193–213. MR 70593, DOI 10.1090/S0002-9904-1955-09896-3 10. L. Kantrovitch and E. Livenson, Memoir on the analytical operations and projective sets (I), Fund. Math. 18 (1932), 214-279. 11. M. Kondô, Sur l’uniformisation des complémentaires analytiques et les ensembles projectifs de la seconde classe, Japan J. Math. 15 (1938), 197-230. 12. G. Kreisel, Review of Shütte, J. Symb. Logic 25 (1960), 243-249. 13. K. Kunugui, Sur un théorème d’existence dans la théorie des ensembles projectifs, Fund. Math. 29 (1937), 166-181. 14. N. Lusin, Leçons sur les ensembles analytiques et leurs applications, Gauthier-Villars, Paris, 1930.
- Werner Markwald, Zur Theorie der konstruktiven Wohlordnungen, Math. Ann. 127 (1954), 135–149 (German). MR 61076, DOI 10.1007/BF01361115
- John Myhill, Creative sets, Z. Math. Logik Grundlagen Math. 1 (1955), 97–108. MR 71379, DOI 10.1002/malq.19550010205
- Emil L. Post, Recursively enumerable sets of positive integers and their decision problems, Bull. Amer. Math. Soc. 50 (1944), 284–316. MR 10514, DOI 10.1090/S0002-9904-1944-08111-1
- Yoemon Sampei, On the evaluation of the projective class of sets defined by transfinite induction, Comment. Math. Univ. St. Paul. 7 (1959), 21–26. MR 130180
- Yoemon Sampei, On the uniformization of the complement of an analytic set, Comment. Math. Univ. St. Paul. 10 (1961), 57–62. MR 147404
- J. R. Shoenfield, The problem of predicativity, Essays on the foundations of mathematics, Magnes Press, Hebrew Univ., Jerusalem, 1961, pp. 132–139. MR 0164886
- J. R. Shoenfield, The form of the negation of a predicate, Proc. Sympos. Pure Math., Vol. V, American Mathematical Society, Providence, R.I., 1962, pp. 131–134. MR 0142449
- Clifford Spector, Recursive well-orderings, J. Symbolic Logic 20 (1955), 151–163. MR 74347, DOI 10.2307/2266902
- Clifford Spector, Measure-theoretic construction of incomparable hyperdegrees, J. Symbolic Logic 23 (1958), 280–288. MR 112830, DOI 10.2307/2964288
- Tosiyuki Tugué, Predicates recursive in a type-2 object and Kleene hierarchies, Comment. Math. Univ. St. Paul. 8 (1960), 97–117. MR 110639
- Hao Wang, Alternative proof of a theorem of Kleene, J. Symbolic Logic 23 (1958), 250. MR 103820, DOI 10.2307/2964282
Additional Information
- Journal: Bull. Amer. Math. Soc. 70 (1964), 246-253
- DOI: https://doi.org/10.1090/S0002-9904-1964-11104-6
- MathSciNet review: 0158819