THE OPEN AND CLOPEN RAMSEY THEOREMS IN THE WEIHRAUCH LATTICE

DOI10.1017/JSL.2021.10OpenAlexW3126809999MaRDI QIDQ5000272FDOQ5000272

Authors: Alberto Marcone, Manlio Valenti 

Publication date: 12 July 2021

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

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

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

zbMATH Keywords

computable analysishomogeneous setsWeihrauch degreesclopen Ramsey theoremopen Ramsey theorem

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)

• The open and clopen Ramsey theorems in the Weihrauch lattice
• Algebraic properties of the first-order part of a problem

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)