THE OPEN AND CLOPEN RAMSEY THEOREMS IN THE WEIHRAUCH LATTICE

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

zbMATH Keywords

computable analysishomogeneous setsWeihrauch degreesclopen Ramsey theoremopen Ramsey theorem

Mathematics Subject Classification ID

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

Algebraic properties of the first-order part of a problem

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 ATR₀ IN THE WEIHRAUCH LATTICE

This page was built for publication: THE OPEN AND CLOPEN RAMSEY THEOREMS IN THE WEIHRAUCH LATTICE