The open and clopen Ramsey theorems in the Weihrauch lattice
From MaRDI portal
Publication:6336408
DOI10.1017/jsl.2021.10zbMath1529.03225arXiv2003.04245MaRDI QIDQ6336408
Alberto Marcone, Manlio Valenti
Publication date: 9 March 2020
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)
This page was built for publication: The open and clopen Ramsey theorems in the Weihrauch lattice