Reverse mathematics and Ramsey's property for trees (Q4931100)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Reverse mathematics and Ramsey's property for trees |
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
0.87793326
0 references
0.8007451
0 references
0.79970956
0 references
0.79249686
0 references
0.79249686
0 references
0.79189384
0 references
0.7787474
0 references
0.7670337
0 references
