Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen
- 1 March 1974
- journal article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 16 (1-2) , 49-66
- https://doi.org/10.1007/bf02025118
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Simultane Rekursionen in der Theorie der Funktionale endlicher TypenArchive for Mathematical Logic, 1971
- Intuitionistic analysis and G\"odel's interpretationJournal of the Mathematical Society of Japan, 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
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTESDialectica, 1958
- Schlußweisen-Kalküle der PrädikatenlogikMathematische Annalen, 1950