Ramsey’s theorem and products in the Weihrauch degrees

DOI10.3233/COM-180203zbMath1485.03026arXiv1804.10968MaRDI QIDQ5131643

Jun Le Goh, Damir D. Dzhafarov, Ludovic Patey, Denis R. Hirschfeldt, Arno Pauly

Publication date: 9 November 2020

Published in: Computability (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1804.10968

zbMATH Keywords

Ramsey theorycomputability theoryreverse mathematicscomputable combinatorics

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Foundations of classical theories (including reverse mathematics) (03B30) Ramsey theory (05D10) Other degrees and reducibilities in computability and recursion theory (03D30) Computation over the reals, computable analysis (03D78)

Related Items (4)

Algebraic properties of the first-order part of a problem ⋮ FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS ⋮ COH, SRT 2 2 , and multiple functionals ⋮ SEARCHING FOR AN ANALOGUE OF ATR₀ IN THE WEIHRAUCH LATTICE

This page was built for publication: Ramsey’s theorem and products in the Weihrauch degrees