Type-theoretic interpretation of iterated, strictly positive inductive definitions
- 1 March 1992
- journal article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 32 (2) , 75-99
- https://doi.org/10.1007/bf01269951
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Proof TheoryLecture Notes in Mathematics, 1989
- Foundations of Constructive MathematicsPublished by Springer Nature ,1985
- Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical StudiesLecture Notes in Mathematics, 1981
- Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen ZahlentheorieMathematische Annalen, 1943