Constructive transfinite number classes
Open Access
- 1 January 1967
- journal article
- Published by American Mathematical Society (AMS) in Bulletin of the American Mathematical Society
- Vol. 73 (2) , 261-265
- https://doi.org/10.1090/s0002-9904-1967-11710-5
Abstract
References [Enhancements On Off] (What's this?)Keywords
This publication has 7 references indexed in Scilit:
- Extensions of the constructive ordinalsThe Journal of Symbolic Logic, 1965
- On Hierarchies and Systems of NotationsProceedings of the American Mathematical Society, 1964
- A complete classification of the Δ₂¹-functionsBulletin of the American Mathematical Society, 1964
- Recursive Functionals and Quantifiers of Finite Types IITransactions of the American Mathematical Society, 1963
- The form of the negation of a predicateProceedings of Symposia in Pure Mathematics, 1962
- Constructive Versions of Ordinal Number ClassesTransactions of the American Mathematical Society, 1961
- Recursive Functionals and Quantifiers of Finite Types ITransactions of the American Mathematical Society, 1959