On a Number Theoretic Choice Schema and its Relation to Induction
- 1 January 1970
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Herbrand-Style Consistency ProofsPublished by Elsevier ,1970
- ÜBER DIE ELIMINIERBARKEIT VON DEFINITIONSSCHEMATA IN DER THEORIE DER REKURSIVEN FUNKTIONENMathematical Logic Quarterly, 1964
- 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
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTESDialectica, 1958
- On the concepts of completeness and interpretation of formal systemsFundamenta Mathematicae, 1952