Cut elimination for impredicative infinitary systems. Part II ordinal analysis for iterated inductive definitions (Q3960689)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Cut elimination for impredicative infinitary systems. Part II ordinal analysis for iterated inductive definitions |
scientific article |
Statements
Cut elimination for impredicative infinitary systems. Part II ordinal analysis for iterated inductive definitions (English)
0 references
1982
0 references
interpretation of the theory of noniterated generalized inductive definitions
0 references
proof-theoretic reductions
0 references
locally predicative definition
0 references
coinductive order relation
0 references
