Reverse mathematics and Ramsey's property for trees (Q4931100)
From MaRDI portal
scientific article; zbMATH DE number 5795052
Language | Label | Description | Also known as |
---|---|---|---|
English | Reverse mathematics and Ramsey's property for trees |
scientific article; zbMATH DE number 5795052 |
Statements
Reverse mathematics and Ramsey's property for trees (English)
0 references
4 October 2010
0 references
Ramsey property
0 references
tree
0 references
partial order
0 references
RCA
0 references
ACA
0 references
pigeonhole principle
0 references
induction
0 references
pairs
0 references
reverse mathematics
0 references