On a problem of Kleene’s
Open Access
- 1 January 1960
- journal article
- Published by American Mathematical Society (AMS) in Bulletin of the American Mathematical Society
- Vol. 66 (6) , 501-502
- https://doi.org/10.1090/s0002-9904-1960-10518-6
Abstract
References [Enhancements On Off] (What's this?)Keywords
This publication has 5 references indexed in Scilit:
- EIGHTY YEARS OF FOUNDATIONAL STUDIESDialectica, 1958
- The classical and the ω-complete arithmeticThe Journal of Symbolic Logic, 1958
- Arithmetical Predicates and Function QuantifiersTransactions of the American Mathematical Society, 1955
- Recursive well-orderingsThe Journal of Symbolic Logic, 1955
- Hierarchies of number-theoretic predicatesBulletin of the American Mathematical Society, 1955