A note on function quantification
HTML articles powered by AMS MathViewer
- by J. W. Addison and S. C. Kleene
- Proc. Amer. Math. Soc. 8 (1957), 1002-1006
- DOI: https://doi.org/10.1090/S0002-9939-1957-0091243-2
- PDF | Request permission
References
- J. W. Addison, On some points of the theory of recursive functions, Doctoral Dissertation, University of Wisconsin, 1954.
—, Analogies in the Borel, Lusin, and Kleene hierarchies I, Bull. Amer. Math. Soc. Abstract 61-1-139.
—, Analogies in the Borel, Lusin, and Kleene hierarchies II, Bull. Amer. Math. Soc. Abstract 61-2-341.
L. Kantorovitch and E. Livenson, Sur quelques théorèmes concernant la théorie des ensembles projectifs, C. R. Acad. Sci. Paris vol. 204 (1937) pp. 466-467.
- 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
- Casimir Kuratowski, Topologie. I. Espaces Métrisables, Espaces Complets, Monografie Matematyczne, Vol. 20, Państwowe Wydawnictwo Naukowe (PWN), Warszawa-Wrocław, 1948 (French). 2d ed. MR 0028007
- A. A. Lyapunov, $R$-množestva, Izdat. Akad. Nauk SSSR, Moscow, 1953 (Russian). Trudy Mat. Inst. Steklov. no. 40. MR 0064102
- Clifford Spector, Recursive well-orderings, J. Symbolic Logic 20 (1955), 151–163. MR 74347, DOI 10.2307/2266902
Bibliographic Information
- © Copyright 1957 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 8 (1957), 1002-1006
- MSC: Primary 02.0X
- DOI: https://doi.org/10.1090/S0002-9939-1957-0091243-2
- MathSciNet review: 0091243