The strength of some Martin-Löf type theories
- 1 October 1994
- journal article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 33 (5) , 347-385
- https://doi.org/10.1007/bf01278464
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Type-theoretic interpretation of iterated, strictly positive inductive definitionsArchive for Mathematical Logic, 1992
- Foundations of Constructive MathematicsPublished by Springer Nature ,1985
- A well-ordering proof for Feferman's theoryT 0Archive for Mathematical Logic, 1983
- Recursive models for constructive set theoriesAnnals of Mathematical Logic, 1982
- Proof theoretic equivalences between classical and constructive theories for analysisPublished by Springer Nature ,1981
- Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical StudiesLecture Notes in Mathematics, 1981
- Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen ZahlenArchive for Mathematical Logic, 1980
- Constructive set theoryThe Journal of Symbolic Logic, 1975
- A language and axioms for explicit mathematicsPublished by Springer Nature ,1975
- Admissible Sets and StructuresPublished by Springer Nature ,1975