Matches in SemOpenAlex for { <https://semopenalex.org/work/W2964070035> ?p ?o ?g. }
- W2964070035 endingPage "1070" @default.
- W2964070035 startingPage "1034" @default.
- W2964070035 abstract "Ramsey's theorem for n-tuples and k-colors (RTkn) asserts that every k-coloring of [N]n admits an infinite monochromatic subset. We study the proof-theoretic strength of Ramsey's theorem for pairs and two colors, namely, the set of its Π10 consequences, and show that RT22 is Π30 conservative over IΣ10. This strengthens the proof of Chong, Slaman and Yang that RT22 does not imply IΣ20, and shows that RT22 is finitistically reducible, in the sense of Simpson's partial realization of Hilbert's Program. Moreover, we develop general tools to simplify the proofs of Π30-conservation theorems." @default.
- W2964070035 created "2019-07-30" @default.
- W2964070035 creator A5032131260 @default.
- W2964070035 creator A5034226803 @default.
- W2964070035 date "2018-05-01" @default.
- W2964070035 modified "2023-10-17" @default.
- W2964070035 title "The proof-theoretic strength of Ramsey's theorem for pairs and two colors" @default.
- W2964070035 cites W1512973490 @default.
- W2964070035 cites W1542740106 @default.
- W2964070035 cites W1556453281 @default.
- W2964070035 cites W1560798351 @default.
- W2964070035 cites W1591170418 @default.
- W2964070035 cites W1705242300 @default.
- W2964070035 cites W1968714331 @default.
- W2964070035 cites W1975891607 @default.
- W2964070035 cites W1996065564 @default.
- W2964070035 cites W1998461400 @default.
- W2964070035 cites W2005638249 @default.
- W2964070035 cites W2016125425 @default.
- W2964070035 cites W2026779741 @default.
- W2964070035 cites W2038076484 @default.
- W2964070035 cites W2045472305 @default.
- W2964070035 cites W2049321566 @default.
- W2964070035 cites W2060878518 @default.
- W2964070035 cites W2072032541 @default.
- W2964070035 cites W2085905338 @default.
- W2964070035 cites W2090521688 @default.
- W2964070035 cites W2097268843 @default.
- W2964070035 cites W2102358420 @default.
- W2964070035 cites W2114804254 @default.
- W2964070035 cites W2130233653 @default.
- W2964070035 cites W2131443763 @default.
- W2964070035 cites W2136273143 @default.
- W2964070035 cites W2144268026 @default.
- W2964070035 cites W2148962283 @default.
- W2964070035 cites W2152863911 @default.
- W2964070035 cites W2336574378 @default.
- W2964070035 cites W2467976395 @default.
- W2964070035 cites W2565215485 @default.
- W2964070035 cites W2797443475 @default.
- W2964070035 cites W2963942212 @default.
- W2964070035 cites W2983889864 @default.
- W2964070035 cites W4232166111 @default.
- W2964070035 doi "https://doi.org/10.1016/j.aim.2018.03.035" @default.
- W2964070035 hasPublicationYear "2018" @default.
- W2964070035 type Work @default.
- W2964070035 sameAs 2964070035 @default.
- W2964070035 citedByCount "17" @default.
- W2964070035 countsByYear W29640700352018 @default.
- W2964070035 countsByYear W29640700352019 @default.
- W2964070035 countsByYear W29640700352020 @default.
- W2964070035 countsByYear W29640700352021 @default.
- W2964070035 countsByYear W29640700352022 @default.
- W2964070035 crossrefType "journal-article" @default.
- W2964070035 hasAuthorship W2964070035A5032131260 @default.
- W2964070035 hasAuthorship W2964070035A5034226803 @default.
- W2964070035 hasBestOaLocation W29640700352 @default.
- W2964070035 hasConcept C105795698 @default.
- W2964070035 hasConcept C108710211 @default.
- W2964070035 hasConcept C112291201 @default.
- W2964070035 hasConcept C114614502 @default.
- W2964070035 hasConcept C118615104 @default.
- W2964070035 hasConcept C118930307 @default.
- W2964070035 hasConcept C132525143 @default.
- W2964070035 hasConcept C2524010 @default.
- W2964070035 hasConcept C2781089630 @default.
- W2964070035 hasConcept C33923547 @default.
- W2964070035 hasConcept C40833965 @default.
- W2964070035 hasConcept C44115641 @default.
- W2964070035 hasConcept C59822182 @default.
- W2964070035 hasConcept C86803240 @default.
- W2964070035 hasConceptScore W2964070035C105795698 @default.
- W2964070035 hasConceptScore W2964070035C108710211 @default.
- W2964070035 hasConceptScore W2964070035C112291201 @default.
- W2964070035 hasConceptScore W2964070035C114614502 @default.
- W2964070035 hasConceptScore W2964070035C118615104 @default.
- W2964070035 hasConceptScore W2964070035C118930307 @default.
- W2964070035 hasConceptScore W2964070035C132525143 @default.
- W2964070035 hasConceptScore W2964070035C2524010 @default.
- W2964070035 hasConceptScore W2964070035C2781089630 @default.
- W2964070035 hasConceptScore W2964070035C33923547 @default.
- W2964070035 hasConceptScore W2964070035C40833965 @default.
- W2964070035 hasConceptScore W2964070035C44115641 @default.
- W2964070035 hasConceptScore W2964070035C59822182 @default.
- W2964070035 hasConceptScore W2964070035C86803240 @default.
- W2964070035 hasFunder F4320306193 @default.
- W2964070035 hasFunder F4320334764 @default.
- W2964070035 hasLocation W29640700351 @default.
- W2964070035 hasLocation W29640700352 @default.
- W2964070035 hasLocation W29640700353 @default.
- W2964070035 hasLocation W29640700354 @default.
- W2964070035 hasLocation W29640700355 @default.
- W2964070035 hasOpenAccess W2964070035 @default.
- W2964070035 hasPrimaryLocation W29640700351 @default.
- W2964070035 hasRelatedWork W1977466596 @default.
- W2964070035 hasRelatedWork W1988343006 @default.
- W2964070035 hasRelatedWork W2016086178 @default.
- W2964070035 hasRelatedWork W2056303343 @default.