Matches in SemOpenAlex for { <https://semopenalex.org/work/W2835050265> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2835050265 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ő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." @default.
- W2835050265 created "2018-07-19" @default.
- W2835050265 creator A5034226803 @default.
- W2835050265 creator A5047471753 @default.
- W2835050265 date "2018-07-12" @default.
- W2835050265 modified "2023-09-27" @default.
- W2835050265 title "Erdos-Moser and ISigma_2" @default.
- W2835050265 cites W1560798351 @default.
- W2835050265 cites W2026779741 @default.
- W2835050265 cites W2090521688 @default.
- W2835050265 cites W2964070035 @default.
- W2835050265 hasPublicationYear "2018" @default.
- W2835050265 type Work @default.
- W2835050265 sameAs 2835050265 @default.
- W2835050265 citedByCount "0" @default.
- W2835050265 crossrefType "posted-content" @default.
- W2835050265 hasAuthorship W2835050265A5034226803 @default.
- W2835050265 hasAuthorship W2835050265A5047471753 @default.
- W2835050265 hasConcept C10138342 @default.
- W2835050265 hasConcept C112291201 @default.
- W2835050265 hasConcept C114614502 @default.
- W2835050265 hasConcept C118615104 @default.
- W2835050265 hasConcept C132525143 @default.
- W2835050265 hasConcept C162324750 @default.
- W2835050265 hasConcept C182306322 @default.
- W2835050265 hasConcept C2778112365 @default.
- W2835050265 hasConcept C33923547 @default.
- W2835050265 hasConcept C44115641 @default.
- W2835050265 hasConcept C54355233 @default.
- W2835050265 hasConcept C60798267 @default.
- W2835050265 hasConcept C86803240 @default.
- W2835050265 hasConcept C94375191 @default.
- W2835050265 hasConceptScore W2835050265C10138342 @default.
- W2835050265 hasConceptScore W2835050265C112291201 @default.
- W2835050265 hasConceptScore W2835050265C114614502 @default.
- W2835050265 hasConceptScore W2835050265C118615104 @default.
- W2835050265 hasConceptScore W2835050265C132525143 @default.
- W2835050265 hasConceptScore W2835050265C162324750 @default.
- W2835050265 hasConceptScore W2835050265C182306322 @default.
- W2835050265 hasConceptScore W2835050265C2778112365 @default.
- W2835050265 hasConceptScore W2835050265C33923547 @default.
- W2835050265 hasConceptScore W2835050265C44115641 @default.
- W2835050265 hasConceptScore W2835050265C54355233 @default.
- W2835050265 hasConceptScore W2835050265C60798267 @default.
- W2835050265 hasConceptScore W2835050265C86803240 @default.
- W2835050265 hasConceptScore W2835050265C94375191 @default.
- W2835050265 hasLocation W28350502651 @default.
- W2835050265 hasOpenAccess W2835050265 @default.
- W2835050265 hasPrimaryLocation W28350502651 @default.
- W2835050265 hasRelatedWork W1533184809 @default.
- W2835050265 hasRelatedWork W2034730976 @default.
- W2835050265 hasRelatedWork W2071051947 @default.
- W2835050265 hasRelatedWork W2074498946 @default.
- W2835050265 hasRelatedWork W2076670073 @default.
- W2835050265 hasRelatedWork W2102266693 @default.
- W2835050265 hasRelatedWork W2322437738 @default.
- W2835050265 hasRelatedWork W2348244329 @default.
- W2835050265 hasRelatedWork W2770246545 @default.
- W2835050265 hasRelatedWork W2899558506 @default.
- W2835050265 hasRelatedWork W2949278404 @default.
- W2835050265 hasRelatedWork W2949328486 @default.
- W2835050265 hasRelatedWork W2986599844 @default.
- W2835050265 hasRelatedWork W3046853962 @default.
- W2835050265 hasRelatedWork W3084349253 @default.
- W2835050265 hasRelatedWork W3098775014 @default.
- W2835050265 hasRelatedWork W3100632772 @default.
- W2835050265 hasRelatedWork W3103870832 @default.
- W2835050265 hasRelatedWork W3103994477 @default.
- W2835050265 hasRelatedWork W2612343179 @default.
- W2835050265 isParatext "false" @default.
- W2835050265 isRetracted "false" @default.
- W2835050265 magId "2835050265" @default.
- W2835050265 workType "article" @default.