Combinatorial principles equivalent to weak induction
From MaRDI portal
Publication:5131651
DOI10.3233/COM-180244zbMath1485.03025arXiv1812.09943MaRDI QIDQ5131651
Denis R. Hirschfeldt, Keita Yokoyama, Jake Pardo, Caleb Davis, Arno Pauly, Jeffry L. Hirst
Publication date: 9 November 2020
Published in: Computability (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1812.09943
03B30: Foundations of classical theories (including reverse mathematics)
05D10: Ramsey theory
03F35: Second- and higher-order arithmetic and fragments
03D30: Other degrees and reducibilities in computability and recursion theory
Related Items
On the Weihrauch degree of the additive Ramsey theorem over the rationals, Reverse mathematics and colorings of hypergraphs