No label defined (Q4325775)
From MaRDI portal
scientific article; zbMATH DE number 733387
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 733387 |
Statements
17 March 1996
0 references
\({\mathcal H}\)-operators
0 references
\({\mathcal H}\)-controlled derivations
0 references
survey article
0 references
application of proof theory to the theory of admissible sets
0 references
ordinal analysis
0 references
Kripke-Platek set theory
0 references
ramified set theory
0 references
cut elimination
0 references
cut rank
0 references
