A recursion theoretic analysis of the clopen Ramsey theorem

DOI10.2307/2274171MaRDI QIDQ3691655zbMATH OpenOpenAlexFDO

Authors Peter Clote

Publication date 1984

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

Full work available at URL https://doi.org/10.2307/2274171

zbMATH Keywords

anti-basisbasisclopen partitionclopen setGalvin-Prikry theoremhyperarithmetic setsinfinite homogeneous setlimit lemmaNash Williams' barrier theorem

Mathematics Subject Classification ID

Hierarchies of computability and definability (03D55) Applications of computability and recursion theory (03D80) Axiomatics of classical set theory and its fragments (03E30) Generalized Ramsey theory (05C55)

Recommendations

• An inside/outside Ramsey theorem and recursion theory
• scientific article; zbMATH DE number 3916250
• An analysis of Ramsey's theorem
• scientific article; zbMATH DE number 2058397
• A refinement of the Ramsey hierarchy via indescribability
• scientific article; zbMATH DE number 704226
• Ramsey-like theorems and moduli of computation
• A dichotomy result for Ramsey quantifiers
• A packed Ramsey’s theorem and computability theory
• A note on Ramsey theorems and Turing jumps

Cites work

• Countable retracing functions and _2⁰ predicates
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3387326 (Why is no real title available?)
• Recursive well-founded orderings
• Sets which do not have subsets of every higher degree

Cited in

(7)

• Proving Ramsey's theory by the cover set induction: A case and comparision study.
• Intuitionism: an inspiration?
• Optimal bounds for ordinal comparison maps
• A generalization of the limit lemma and clopen games
• scientific article; zbMATH DE number 4029558 (Why is no real title available?)
• Foundations of BQO Theory
• On Nash-Williams' theorem regarding sequences with finite range

This page was built for publication: A recursion theoretic analysis of the clopen Ramsey theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3691655)