Generalizations of the one-dimensional version of the Kruskal-Friedman theorems (Q5752568)
From MaRDI portal
scientific article; zbMATH DE number 4187803
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Generalizations of the one-dimensional version of the Kruskal-Friedman theorems |
scientific article; zbMATH DE number 4187803 |
Statements
Generalizations of the one-dimensional version of the Kruskal-Friedman theorems (English)
0 references
1989
0 references
reverse mathematics
0 references
one-dimensional case of Friedman's extension of Kruskal's theorem
0 references
second-order conservative extension of Peano arithmetic
0 references
transfinite iteration of Higman's theorem
0 references
cut elimination
0 references
0 references
0 references
