Rainbow Ramsey Theorem for Triples is Strictly Weaker than the Arithmetical Comprehension Axiom (Q2869903)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Rainbow Ramsey Theorem for Triples is Strictly Weaker than the Arithmetical Comprehension Axiom |
scientific article |
Statements
Rainbow Ramsey Theorem for Triples is Strictly Weaker than the Arithmetical Comprehension Axiom (English)
0 references
7 January 2014
0 references
ACA
0 references
arithmetical comprehension
0 references
cone avoidance
0 references
cohesive set
0 references
rainbow Ramsey theorem
0 references
reverse mathematics
0 references
