Hyperanalytic Predicates
Open Access
- 1 November 1967
- journal article
- Published by JSTOR in Transactions of the American Mathematical Society
- Vol. 129 (2), 249-282
- https://doi.org/10.2307/1994375
Abstract
References [Enhancements On Off] (What's this?)Keywords
This publication has 5 references indexed in Scilit:
- Hierarchies of predicates of finite typesMemoirs of the American Mathematical Society, 1964
- Recursive Functionals and Quantifiers of Finite Types IITransactions of the American Mathematical Society, 1963
- Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematicsProceedings of Symposia in Pure Mathematics, 1962
- Recursive Functionals and Quantifiers of Finite Types ITransactions of the American Mathematical Society, 1959
- Introduction to Metamathematics. By S. C. Kleene. Pp. x, 550, Fl. 32.50. 1952. (Noordhoff, Groningen; North-Holland Publishing Co., Amsterdam)The Mathematical Gazette, 1954