No label defined (Q4715478)
From MaRDI portal
scientific article; zbMATH DE number 946307
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 946307 |
Statements
17 November 1996
0 references
Martin-Löf type theory with \(W\)-type
0 references
proof-theoretic ordinal
0 references
Kripke-Platek set theory
0 references
inaccessible
0 references
admissibles
0 references
tree-induction
0 references
transfinite induction
0 references
