The Axiom of Choice and the Class of Hyperarithmetic Functions
- 1 January 1962
- journal article
- Published by Elsevier in Indagationes Mathematicae
- Vol. 65, 307-319
- https://doi.org/10.1016/s1385-7258(62)50029-2
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- 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
- La prédicativitéBulletin de la Société Mathématiques de France, 1960