Nonstandard methods in Ramsey's theorem for pairs

zbMATH Open1157.03043MaRDI QIDQ3530391FDOQ3530391

Authors:

Publication date: 20 October 2008

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

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)

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)