Matches in SemOpenAlex for { <https://semopenalex.org/work/W2285291963> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2285291963 abstract "The Erdos-Moser theorem (EM) states that every infinite tournament has an infinite transitive subtournament. This principle plays an important role in the understanding of the computational strength of Ramsey's theorem for pairs (RT^2_2) by providing an alternate proof of RT^2_2 in terms of EM and the ascending descending sequence principle (ADS). In this paper, we study the computational weakness of EM and construct a standard model (omega-model) of simultaneously EM, weak Konig's lemma and the cohesiveness principle, which is not a model of the atomic model theorem. This separation answers a question of Hirschfeldt, Shore and Slaman, and shows that the weakness of the Erdos-Moser theorem goes beyond the separation of EM from ADS proven by Lerman, Solomon and Towsner." @default.
- W2285291963 created "2016-06-24" @default.
- W2285291963 creator A5032131260 @default.
- W2285291963 date "2015-05-13" @default.
- W2285291963 modified "2023-09-27" @default.
- W2285291963 title "Dominating the Erdos-Moser theorem in reverse mathematics" @default.
- W2285291963 cites W1622490310 @default.
- W2285291963 cites W1757113349 @default.
- W2285291963 cites W1981894804 @default.
- W2285291963 cites W2016125425 @default.
- W2285291963 cites W2023021577 @default.
- W2285291963 cites W2026779741 @default.
- W2285291963 cites W2047601400 @default.
- W2285291963 cites W2057392475 @default.
- W2285291963 cites W2081739832 @default.
- W2285291963 cites W2090521688 @default.
- W2285291963 cites W2098052203 @default.
- W2285291963 cites W2102358420 @default.
- W2285291963 cites W2102442643 @default.
- W2285291963 cites W2139507368 @default.
- W2285291963 cites W2144268026 @default.
- W2285291963 cites W2148962283 @default.
- W2285291963 cites W2166052910 @default.
- W2285291963 cites W2167930025 @default.
- W2285291963 cites W2170311001 @default.
- W2285291963 cites W2230984504 @default.
- W2285291963 cites W2559546918 @default.
- W2285291963 cites W2606526572 @default.
- W2285291963 cites W2962720709 @default.
- W2285291963 cites W2963847608 @default.
- W2285291963 hasPublicationYear "2015" @default.
- W2285291963 type Work @default.
- W2285291963 sameAs 2285291963 @default.
- W2285291963 citedByCount "1" @default.
- W2285291963 countsByYear W22852919632015 @default.
- W2285291963 crossrefType "posted-content" @default.
- W2285291963 hasAuthorship W2285291963A5032131260 @default.
- W2285291963 hasConcept C112291201 @default.
- W2285291963 hasConcept C114614502 @default.
- W2285291963 hasConcept C118615104 @default.
- W2285291963 hasConcept C127753061 @default.
- W2285291963 hasConcept C136975688 @default.
- W2285291963 hasConcept C167729594 @default.
- W2285291963 hasConcept C18903297 @default.
- W2285291963 hasConcept C191399111 @default.
- W2285291963 hasConcept C2524010 @default.
- W2285291963 hasConcept C2777759810 @default.
- W2285291963 hasConcept C33923547 @default.
- W2285291963 hasConcept C46757340 @default.
- W2285291963 hasConcept C86803240 @default.
- W2285291963 hasConceptScore W2285291963C112291201 @default.
- W2285291963 hasConceptScore W2285291963C114614502 @default.
- W2285291963 hasConceptScore W2285291963C118615104 @default.
- W2285291963 hasConceptScore W2285291963C127753061 @default.
- W2285291963 hasConceptScore W2285291963C136975688 @default.
- W2285291963 hasConceptScore W2285291963C167729594 @default.
- W2285291963 hasConceptScore W2285291963C18903297 @default.
- W2285291963 hasConceptScore W2285291963C191399111 @default.
- W2285291963 hasConceptScore W2285291963C2524010 @default.
- W2285291963 hasConceptScore W2285291963C2777759810 @default.
- W2285291963 hasConceptScore W2285291963C33923547 @default.
- W2285291963 hasConceptScore W2285291963C46757340 @default.
- W2285291963 hasConceptScore W2285291963C86803240 @default.
- W2285291963 hasLocation W22852919631 @default.
- W2285291963 hasOpenAccess W2285291963 @default.
- W2285291963 hasPrimaryLocation W22852919631 @default.
- W2285291963 hasRelatedWork W1486582971 @default.
- W2285291963 hasRelatedWork W1796505807 @default.
- W2285291963 hasRelatedWork W1799031903 @default.
- W2285291963 hasRelatedWork W2060782772 @default.
- W2285291963 hasRelatedWork W2132769069 @default.
- W2285291963 hasRelatedWork W2155085907 @default.
- W2285291963 hasRelatedWork W2230984504 @default.
- W2285291963 hasRelatedWork W2330963367 @default.
- W2285291963 hasRelatedWork W2468222923 @default.
- W2285291963 hasRelatedWork W2621793885 @default.
- W2285291963 hasRelatedWork W2728867993 @default.
- W2285291963 hasRelatedWork W2794144215 @default.
- W2285291963 hasRelatedWork W2949231378 @default.
- W2285291963 hasRelatedWork W2963745382 @default.
- W2285291963 hasRelatedWork W2963847608 @default.
- W2285291963 hasRelatedWork W2964070035 @default.
- W2285291963 hasRelatedWork W2964251305 @default.
- W2285291963 hasRelatedWork W3040572287 @default.
- W2285291963 hasRelatedWork W3100726716 @default.
- W2285291963 hasRelatedWork W393299573 @default.
- W2285291963 isParatext "false" @default.
- W2285291963 isRetracted "false" @default.
- W2285291963 magId "2285291963" @default.
- W2285291963 workType "article" @default.