THE OPEN AND CLOPEN RAMSEY THEOREMS IN THE WEIHRAUCH LATTICE
From MaRDI portal
Publication:5000272
Recommendations
- On the uniform computational content of Ramsey's theorem
- Ramsey's theorem and products in the Weihrauch degrees
- An inside/outside Ramsey theorem and recursion theory
- Searching for an analogue of \(\text{ATR}_0\) in the Weihrauch lattice
- Weihrauch degrees, omniscience principles and weak computability
Cites work
- scientific article; zbMATH DE number 3702631 (Why is no real title available?)
- scientific article; zbMATH DE number 194101 (Why is no real title available?)
- scientific article; zbMATH DE number 1460545 (Why is no real title available?)
- scientific article; zbMATH DE number 3210032 (Why is no real title available?)
- scientific article; zbMATH DE number 3291134 (Why is no real title available?)
- An effective proof that open sets are Ramsey
- Borel sets and Ramsey's theorem
- Closed choice and a uniform low basis theorem
- Completion of choice
- Effective Borel measurability and reducibility of functions
- Embeddings between well-orderings: computability-theoretic reductions
- Every analytic set is Ramsey
- How incomputable is the separable Hahn-Banach theorem?
- Hyperarithmetically Encodable Sets
- On the Ramsey property for sets of reals
- On the algebraic structure of Weihrauch degrees
- On the topological aspects of the theory of represented spaces
- Searching for an analogue of \(\text{ATR}_0\) in the Weihrauch lattice
- Subsystems of second order arithmetic
- The Vitali Covering Theorem in the Weihrauch Lattice
- The degree structure of Weihrauch-reducibility
- Weihrauch degrees, omniscience principles and weak computability
Cited in
(2)
This page was built for publication: THE OPEN AND CLOPEN RAMSEY THEOREMS IN THE WEIHRAUCH LATTICE
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5000272)
