Finitary Treatment of Operator Controlled Derivations (Q2743649)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Finitary Treatment of Operator Controlled Derivations |
scientific article |
Statements
3 June 2002
0 references
proof theory
0 references
ordinal analysis
0 references
cut-elimination
0 references
provably recursive functions
0 references
proof-theoretic analysis of impredicative systems
0 references
admissible set theory with inaccessible universe
0 references
bounded multifunctions
0 references
infinitary proof system
0 references
ramified set theory
0 references
ordinal notation system
0 references
Finitary Treatment of Operator Controlled Derivations (English)
0 references
