arXiv:1808.10227 [math.LO]AbstractReferencesReviewsResources
A List of Problems on the Reverse Mathematics of Ramsey Theory on the Rado Graph and on Infinite, Finitely Branching Trees
Published 2018-08-30Version 1
This list presents problems in the Reverse Mathematics of infinitary Ramsey theory which I find interesting but do not personally have the techniques to solve. The intent is to enlist the help of those working in Reverse Mathematics to take on such problems, and the myriad of related questions one can infer from them. A short bit of background and starting references are provided.
Subjects: 05D10
Related articles: Most relevant | Search more
Interval orders and reverse mathematics
arXiv:1502.03621 [math.LO] (Published 2015-02-12)
Reverse Mathematics of Brouwer's continuity theorem and related principles
arXiv:1804.07952 [math.LO] (Published 2018-04-21)
Some nonstandard equivalences in Reverse Mathematics