The thin set theorem for pairs implies DNR

DOI10.1215/00294527-3153606zbMATH Open1372.03028OpenAlexW1889875823MaRDI QIDQ894259FDOQ894259

Brian Rice

Publication date: 30 November 2015

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1443620509

Recommendations

• Thin set versions of Hindman's theorem
• Two counterexamples to Cornea's conjecture on thin sets
• scientific article; zbMATH DE number 3918803
• Thin-type dense sets and related properties
• Publication:4955580
• A non-splitting theorem for d.r.e. sets
• Hua's theorem in thin subset
• On thin, very thin, and slim dense sets
• The size of some classes of thin sets
• Strict-2-associatedness for thin sets

zbMATH Keywords

reverse mathematicsRamsey's theoremthin set

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Ramsey theory (05D10) Applications of computability and recursion theory (03D80) Second- and higher-order arithmetic and fragments (03F35)

Cites Work

• On the density of families of sets
• On the strength of Ramsey's theorem for pairs
• \(\mathsf{RT}_{2}^{2}\) does not imply \(\mathsf{WKL}_{0}\)
• Combinatorial principles weaker than Ramsey's Theorem for pairs
• \(\varPi^1_1\)-conservation of combinatorial principles weaker than Ramsey's theorem for pairs
• The atomic model theorem and type omitting
• On the strength of Ramsey's theorem
• Title not available (Why is that?)
• Some logically weak Ramseyan theorems
• The Strength of Some Combinatorial Principles Related to Ramsey's Theorem for Pairs

Cited In (6)

• Iterative Forcing and Hyperimmunity in Reverse Mathematics
• The weakness of the pigeonhole principle under hyperarithmetical reductions
• Degrees bounding principles and universal instances in reverse mathematics
• Pigeons do not jump high
• Filters on computable posets
• RELATIONSHIPS BETWEEN COMPUTABILITY-THEORETIC PROPERTIES OF PROBLEMS

This page was built for publication: The thin set theorem for pairs implies DNR

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