×

zbMATH — the first resource for mathematics

A note on function quantification. (English) Zbl 0084.24901

PDF BibTeX XML Cite
Full Text: DOI
References:
[1] J. W. Addison, On some points of the theory of recursive functions, Doctoral Dissertation, University of Wisconsin, 1954.
[2] -, Analogies in the Borel, Lusin, and Kleene hierarchies I, Bull. Amer. Math. Soc. Abstract 61-1-139.
[3] -, Analogies in the Borel, Lusin, and Kleene hierarchies II, Bull. Amer. Math. Soc. Abstract 61-2-341.
[4] 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. · JFM 63.0178.02
[5] S. C. Kleene, Arithmetical predicates and function quantifiers, Trans. Amer. Math. Soc. 79 (1955), 312 – 340. · Zbl 0066.25703
[6] S. C. Kleene, On the forms of the predicates in the theory of constructive ordinals. II, Amer. J. Math. 77 (1955), 405 – 428. · Zbl 0067.25203 · doi:10.2307/2372632 · doi.org
[7] S. C. Kleene, Hierarchies of number-theoretic predicates, Bull. Amer. Math. Soc. 61 (1955), 193 – 213. · Zbl 0066.25901
[8] Casimir Kuratowski, Topologie. I. Espaces Métrisables, Espaces Complets, Monografie Matematyczne, vol. 20, Warszawa-Wrocław, 1948 (French). 2d ed. · Zbl 0041.09603
[9] A. A. Lyapunov, \?-množestva, Trudy Mat. Inst. Steklov., vol. 40, Izdat. Akad. Nauk SSSR, Moscow, 1953 (Russian).
[10] Clifford Spector, Recursive well-orderings, J. Symb. Logic 20 (1955), 151 – 163. · Zbl 0067.00303
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.