Nonstandard methods in Ramsey's theorem for pairs

MaRDI QIDQ3530391zbMATH OpenFDO

Authors

Publication date 20 October 2008

zbMATH Keywords

reverse mathematicscohesiveness principledouble jump modelsRamsey theorem for pairs

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Second- and higher-order arithmetic and fragments (03F35) Nonstandard models of arithmetic (03H15)

Recommendations

• Weaker cousins of Ramsey's theorem over a weak base theory
• The Strength of Some Combinatorial Principles Related to Ramsey's Theorem for Pairs
• Cohesive avoidance and strong reductions
• Nonstandard models in recursion theory and reverse mathematics
• On the strength of Ramsey's theorem for pairs

Cited in

(3)

• In search of the first-order part of Ramsey's theorem for pairs
• Term extraction and Ramsey's theorem for pairs
• Nonstandard models in recursion theory and reverse mathematics

This page was built for publication: Nonstandard methods in Ramsey's theorem for pairs

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