On the Weihrauch degree of the additive Ramsey theorem over the rationals

DOI10.1007/978-3-031-08740-0_22OpenAlexW4285170283MaRDI QIDQ2104276

Pierre Pradic, Giovanni Soldà

Publication date: 7 December 2022

Full work available at URL: https://doi.org/10.1007/978-3-031-08740-0_22

zbMATH Keywords

reverse mathematicsWeihrauch reducibility\(\varSigma^0_2\)-inductionadditive Ramsey

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The monadic theory of order
• A topological view on algebraic computation models
• Completion of choice
• Regular Languages of Words over Countable Linear Orderings
• Slicing the Truth
• ON THE UNIFORM COMPUTATIONAL CONTENT OF RAMSEY’S THEOREM
• Coloring the rationals in reverse mathematics
• Weihrauch Complexity in Computable Analysis
• Combinatorial principles equivalent to weak induction