pith. sign in

arxiv: 1807.04452 · v1 · pith:434CDPNCnew · submitted 2018-07-12 · 🧮 math.LO

Erdos-Moser and ISigma₂

classification 🧮 math.LO
keywords arbitrarycolorsisigma02numberbsigma03knownpairsprinciple
0
0 comments X
read the original abstract

The first-order part of the Ramsey's Theorem for pairs with an arbitrary number of colors is known to be precisely BSigma03. We compare this to the known division of Ramsey's Theorem for pairs into the weaker principles, EM (the Erd\H{o}s-Moser principle) and ADS (the ascending-descending sequence principle): we show that the additional strength beyond ISigma02 is entirely due to the arbitrary color analog of ADS. Specifically, we show that ADS for an arbitrary number of colors implies BSigma03 while EM for an arbitrary number of colors is Pi11-conservative over ISigma02 and it does not imply ISigma02.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.