THE OPEN AND CLOPEN RAMSEY THEOREMS IN THE WEIHRAUCH LATTICE
From MaRDI portal
Publication:5000272
DOI10.1017/jsl.2021.10OpenAlexW3126809999MaRDI QIDQ5000272
Manlio Valenti, Alberto Marcone
Publication date: 12 July 2021
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2003.04245
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)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Closed choice and a uniform low basis theorem
- How incomputable is the separable Hahn-Banach theorem?
- An effective proof that open sets are Ramsey
- Embeddings between well-orderings: computability-theoretic reductions
- Completion of choice
- The Vitali Covering Theorem in the Weihrauch Lattice
- Weihrauch degrees, omniscience principles and weak computability
- Effective Borel measurability and reducibility of functions
- On the Ramsey property for sets of reals
- Hyperarithmetically Encodable Sets
- Borel sets and Ramsey's theorem
- On the algebraic structure of Weihrauch degrees
- The degree structure of Weihrauch-reducibility
- Every analytic set is Ramsey
- On the topological aspects of the theory of represented spaces
- SEARCHING FOR AN ANALOGUE OF ATR0 IN THE WEIHRAUCH LATTICE
This page was built for publication: THE OPEN AND CLOPEN RAMSEY THEOREMS IN THE WEIHRAUCH LATTICE