Constructing sequences one step at a time
From MaRDI portal
Publication:4988827
DOI10.1142/S0219061320500178zbMath1486.03024arXiv1609.05509OpenAlexW3003408075MaRDI QIDQ4988827
No author found.
Publication date: 19 May 2021
Published in: Journal of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1609.05509
Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- The weakness of being cohesive, thin or free in reverse mathematics
- Some logically weak Ramseyan theorems
- Partial Orders and Immunity in Reverse Mathematics
- Combinatorial principles weaker than Ramsey's Theorem for pairs
- On the Ramseyan Factorization Theorem
- Reverse mathematics and the equivalence of definitions for well and better quasi-orders
- SEPARATING PRINCIPLES BELOW RAMSEY'S THEOREM FOR PAIRS