Ordinal inequalities, transfinite induction, and reverse mathematics (Q4262583)
From MaRDI portal
scientific article; zbMATH DE number 1335206
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Ordinal inequalities, transfinite induction, and reverse mathematics |
scientific article; zbMATH DE number 1335206 |
Statements
Ordinal inequalities, transfinite induction, and reverse mathematics (English)
0 references
8 February 2000
0 references
reverse mathematics
0 references
proof theory
0 references
ordinal arithmetic
0 references
transfinite induction
0 references
