HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK? (Q6103456)
From MaRDI portal
scientific article; zbMATH DE number 7691754
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK? |
scientific article; zbMATH DE number 7691754 |
Statements
HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK? (English)
0 references
5 June 2023
0 references
reverse mathematics
0 references
Ramsey's theorem
0 references
first-order arithmetic
0 references
nonstandard models
0 references
definable cuts
0 references
automorphisms
0 references
proof speedup
0 references
0 references
