No label defined (Q4281248)
From MaRDI portal
scientific article; zbMATH DE number 510775
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 510775 |
Statements
1 December 1994
0 references
proof-theoretical ordinal
0 references
weakly Mahlo ordinal
0 references
Kripke-Platek set theory
0 references
