Type-theoretic interpretation of iterated, strictly positive inductive definitions

Author:

Publisher website

1 March 1992

journal article
Published by Springer Nature in Archive for Mathematical Logic

Vol. 32 (2) , 75-99
DOI:10.1007/bf01269951

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

Proof Theory
1989
Foundations of Constructive Mathematics
1985
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
1981
Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
Mathematische Annalen, 1943