Arithmetical transfinite induction and hierarchies of functions (Q4314785)
From MaRDI portal
scientific article; zbMATH DE number 695570
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Arithmetical transfinite induction and hierarchies of functions |
scientific article; zbMATH DE number 695570 |
Statements
Arithmetical transfinite induction and hierarchies of functions (English)
0 references
27 November 1994
0 references
arithmetical transfinite induction
0 references
Wainer Theorem
0 references
Paris-Harrington Theorem
0 references
Solovay-Ketonen Theorem
0 references
