Remote Access Bulletin of the American Mathematical Society

Bulletin of the American Mathematical Society

ISSN 1088-9485(online) ISSN 0273-0979(print)

 
 

 

A complete classification of the $\Delta _2^1$-functions


Author: Yoshindo Suzuki
Journal: Bull. Amer. Math. Soc. 70 (1964), 246-253
DOI: https://doi.org/10.1090/S0002-9904-1964-11104-6
MathSciNet review: 0158819
Full-text PDF

References | Additional Information

References [Enhancements On Off] (What's this?)

  • 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.
  • 2. J. W. Addison, Some consequences of the axiom of constructibility, Fund. Math. 46 (1959), 337-357. MR 124206
  • 3. J. W. Addison and S. C. Kleene, A note on function quantification, Proc. Amer. Math. Soc. 8 (1957), 1002-1006. MR 91243
  • 4. R. O. Gandy, On a problem of Kleene's, Bull. Amer. Math. Soc. 66 (1960), 501-502. MR 122724
  • 5. R. O. Gandy, Complete predicates for the analytic hierarchy, Abstract 150-62, Notices Amer. Math. Soc. 9 (1962), 222.
  • 6. S. C. Kleene, Introduction to metamathematics, Van Nostrand, New York, 1952. MR 51790
  • 7. S. C. Kleene, Arithmetical predicates and function quantifiers, Trans. Amer. Math. Soc. 79 (1955), 312-340. MR 70594
  • 8. S. C. Kleene, On the forms of the predicates in the theory of constructive ordinals (second paper), Amer. J. Math. 77 (1955), 405-428. MR 70595
  • 9. S. C. Kleene, Hierarchies of number-theoretic predicates, Bull. Amer. Math. Soc. 61 (1955), 192-213. MR 70593
  • 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.
  • 15. W. Markwald, Zur Theorie der konstruktiven Wohlordnungen, Math. Ann. 127 (1954), 135-149. MR 61076
  • 16. J. Myhill, Creative sets, Z. Math. Logik Grundlagen Math. 1 (1955), 97-108. MR 71379
  • 17. E. L. Post, Recursively enumerable sets of positive integers and their decision problems, Bull. Amer. Math. Soc. 50 (1944), 284-316. MR 10514
  • 18. Y. Sampei, On the evaluation of the projective class of sets defined by transfinite induction, Comment. Math. Univ. St. Paul 7 (1958), 21-26. MR 130180
  • 19. Y. Sampei, On the uniformization of the complement of an analytic set, Comment. Math. Univ. St. Paul. 10 (1960), 57-62. MR 147404
  • 20. J. R. Shoenfield, The problem of predicativity, Essays on the Foundations of Mathematics, pp. 132-139, North-Holland, Amsterdam 1961. MR 164886
  • 21. J. R. Shoenfield, The form of the negation of a predicate, Recursive function theory, Amer. Math. Soc. (1962), 131-138. MR 142449
  • 22. C. Spector, Recursive well-orderings, J. Symb. Logic 20 (1955), 151-163. MR 74347
  • 23. C. Spector, Measure-theoretic construction of incomparable hyperdegrees, J. Symb. Logic 23 (1958), 280-288. MR 112830
  • 24. T. Tugué, Predicates recursive in a type-2 object and Kleene hierarchies, Comment. Math. Univ. St. Paul. 8 (1960), 97-117. MR 110639
  • 25. H. Wang, Alternative proof of a theorem of Kleene, J. Symb. Logic 23 (1958), 250. MR 103820


Additional Information

DOI: https://doi.org/10.1090/S0002-9904-1964-11104-6

American Mathematical Society