On a problem of Kleene’s

Gandy, R. O.

doi:10.1090/S0002-9904-1960-10518-6

Bulletin of the American Mathematical Society

The Bulletin publishes expository articles on contemporary mathematical research, written in a way that gives insight to mathematicians who may not be experts in the particular topic. The Bulletin also publishes reviews of selected books in mathematics and short articles in the Mathematical Perspectives section, both by invitation only.

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

The 2024 MCQ for Bulletin of the American Mathematical Society is 0.84.

What is MCQ? The Mathematical Citation Quotient (MCQ) measures journal impact by looking at citations over a five-year period. Subscribers to MathSciNet may click through for more detailed information.

On a problem of Kleene’s
HTML articles powered by AMS MathViewer

by R. O. Gandy PDF

Bull. Amer. Math. Soc. 66 (1960), 501-502

References

R. O. Gandy, G. Kreisel, and W. W. Tait, Set existence, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 8 (1960), 577–582. MR 159747
A. Grzegorczyk, A. Mostowski, and C. Ryll-Nardzewski, The classical and the $\omega$-complete arithmetic, J. Symbolic Logic 23 (1958), 188–206. MR 106174, DOI 10.2307/2964398
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
S. C. Kleene, Quantification of number-theoretic functions, Compositio Math. 14 (1959), 23–40. MR 103822
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
Clifford Spector, Recursive well-orderings, J. Symbolic Logic 20 (1955), 151–163. MR 74347, DOI 10.2307/2266902
Hao Wang, Eighty years of foundational studies, Dialectica 12 (1958), 466–497 (English, with French and German summaries). MR 101196, DOI 10.1111/j.1746-8361.1958.tb01476.x

Additional Information

Journal: Bull. Amer. Math. Soc. 66 (1960), 501-502
DOI: https://doi.org/10.1090/S0002-9904-1960-10518-6
MathSciNet review: 0122724