The tree pigeonhole principle in the Weihrauch degrees
From MaRDI portal
Publication:6463895
arXiv2312.10535MaRDI QIDQ6463895
D. Reed Solomon, Manlio Valenti, Damir D. Dzhafarov
Publication date: 16 December 2023
Trees (05C05) Generalized Ramsey theory (05C55) Foundations of classical theories (including reverse mathematics) (03B30) Other degrees and reducibilities in computability and recursion theory (03D30) Computation over the reals, computable analysis (03D78)
This page was built for publication: The tree pigeonhole principle in the Weihrauch degrees