Constructing sequences one step at a time

DOI10.1142/S0219061320500178MaRDI QIDQ4988827zbMATH OpenOpenAlexFDO

Authors

Publication date 19 May 2021

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

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

zbMATH Keywords

chain antichainreverse maththin setTuring idealweak König's lemma

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)

Abstract: We propose a new method for constructing Turing ideals satisfying principles of reverse mathematics below the Chain-Antichain Principle (CAC). Using this method, we are able to prove several new separations in the presence of Weak Konig's Lemma (WKL), including showing that CAC+WKL does not imply the thin set theorem for pairs, and that the principle "the product of well-quasi-orders is a well-quasi-order" is strictly between CAC and the Ascending/Descending Sequences principle, even in the presence of WKL.

Recommendations

• Combinatorial principles weaker than Ramsey's Theorem for pairs
• Separating principles below Ramsey's theorem for pairs
• The uniform content of partial and linear orders
• Separating principles below \(\mathsf{WKL}_0\)
• The strength of the tree theorem for pairs in reverse mathematics

Cites work

• Combinatorial principles weaker than Ramsey's Theorem for pairs
• scientific article; zbMATH DE number 2236628 (Why is no real title available?)
• On the Ramseyan factorization theorem
• Partial orders and immunity in reverse mathematics
• Reverse mathematics and the equivalence of definitions for well and better quasi-orders
• Separating principles below Ramsey's theorem for pairs
• Some logically weak Ramseyan theorems
• Subsystems of second order arithmetic
• The weakness of being cohesive, thin or free in reverse mathematics

Cited in

(1)

• Weaker cousins of Ramsey's theorem over a weak base theory

This page was built for publication: Constructing sequences one step at a time

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