Hauptsatz for the Intuitionistic Theory of Iterated Inductive Definitions
- 1 January 1971
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Formal Theories for Transfinite Iterations of Generalized Inductive Definitions and Some Subsystems of AnalysisPublished by Elsevier ,1970
- Intensional interpretations of functionals of finite type IThe Journal of Symbolic Logic, 1967
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTESDialectica, 1958
- Ordinal diagrams.Journal of the Mathematical Society of Japan, 1957
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935