Reverse mathematics of the finite downwards closed subsets of ordered by inclusion and adjacent Ramsey for fixed dimension
From MaRDI portal
Publication:5109219
DOI10.1002/malq.201700040OpenAlexW2763806594WikidataQ129557959 ScholiaQ129557959MaRDI QIDQ5109219
Publication date: 11 May 2020
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1610.00878
Cites Work
- Rapidly growing Ramsey functions
- Independence of Ramsey theorem variants using $\varepsilon _0$
- On principles between ∑1- and ∑2-induction, and monotone enumerations
- Ordinal numbers and the Hilbert basis theorem
- REVERSE MATHEMATICS, YOUNG DIAGRAMS, AND THE ASCENDING CHAIN CONDITION
- On the restricted ordinal theorem
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Reverse mathematics of the finite downwards closed subsets of ordered by inclusion and adjacent Ramsey for fixed dimension
