On principles between ∑1- and ∑2-induction, and monotone enumerations (Q3186059)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On principles between ∑1- and ∑2-induction, and monotone enumerations |
scientific article |
Statements
On principles between ∑1- and ∑2-induction, and monotone enumerations (English)
0 references
8 August 2016
0 references
fragments of arithmetics
0 references
reverse mathematics
0 references
Ackermann function
0 references
Paris-Harrington theorem
0 references
ordinal numbers
0 references
bounded monotone enumerations
0 references
