Matches in SemOpenAlex for { <https://semopenalex.org/work/W2945118047> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2945118047 abstract "We complete a 40-year old program on the computability-theoretic analysis of Ramsey's theorem, starting with Jockusch in 1972, and improving a result of Chong, Slaman and Yang in 2014. Given a set $X$, let $[X]^n$ be the collection of all $n$-element subsets of $X$. Ramsey's theorem for $n$-tuples asserts the existence, for every finite coloring of $[omega]^n$, of an infinite set $X subseteq omega$ such that $[X]^n$ is monochromatic. The meta-mathematical study of Ramsey has a rich history, with several long-standing open problems and seminal theorems, including Seetapun's theorem in 1995 and Liu's theorem in 2012 about Ramsey's theorem for pairs. The remaining question about the study of Ramsey's theorem from a computational viewpoint was the relation between Ramsey's theorem for pairs ($mathsf{RT}^2_2$) and its restriction to stable colorings ($mathsf{SRT}^2_2$), that is, colorings admitting a limit behavior. Chong, Slaman and Yang first proved that $mathsf{SRT}^2_2$ does not formally imply $mathsf{RT}^2_2$ in a proof-theoretic sense, using non-standard models of reverse mathematics. In this article, we answer the open question whether this non-implication also holds within the framework of computability theory. More precisely, we construct a $omega$-model of $mathsf{SRT}^2_2$ which is not a model of $mathsf{RT}^2_2$. For this, we design a new notion of effective forcing refining Mathias forcing using the notion of largeness classes." @default.
- W2945118047 created "2019-05-29" @default.
- W2945118047 creator A5032131260 @default.
- W2945118047 creator A5079960577 @default.
- W2945118047 date "2021-01-01" @default.
- W2945118047 modified "2023-10-17" @default.
- W2945118047 title "SRT22 does not imply RT22 in omega-models" @default.
- W2945118047 cites W1554860413 @default.
- W2945118047 cites W1556453281 @default.
- W2945118047 cites W1560798351 @default.
- W2945118047 cites W1757113349 @default.
- W2945118047 cites W1981894804 @default.
- W2945118047 cites W1996065564 @default.
- W2945118047 cites W2016125425 @default.
- W2945118047 cites W2027774232 @default.
- W2945118047 cites W2098052203 @default.
- W2945118047 cites W2102358420 @default.
- W2945118047 cites W2131443763 @default.
- W2945118047 cites W2148962283 @default.
- W2945118047 cites W2160285120 @default.
- W2945118047 cites W2559546918 @default.
- W2945118047 cites W2962720709 @default.
- W2945118047 cites W2963621191 @default.
- W2945118047 cites W2963693343 @default.
- W2945118047 cites W2963995856 @default.
- W2945118047 cites W2964251305 @default.
- W2945118047 cites W3098647228 @default.
- W2945118047 hasPublicationYear "2021" @default.
- W2945118047 type Work @default.
- W2945118047 sameAs 2945118047 @default.
- W2945118047 citedByCount "2" @default.
- W2945118047 countsByYear W29451180472019 @default.
- W2945118047 countsByYear W29451180472020 @default.
- W2945118047 crossrefType "journal-article" @default.
- W2945118047 hasAuthorship W2945118047A5032131260 @default.
- W2945118047 hasAuthorship W2945118047A5079960577 @default.
- W2945118047 hasBestOaLocation W29451180471 @default.
- W2945118047 hasConcept C138885662 @default.
- W2945118047 hasConcept C2779557605 @default.
- W2945118047 hasConcept C41895202 @default.
- W2945118047 hasConceptScore W2945118047C138885662 @default.
- W2945118047 hasConceptScore W2945118047C2779557605 @default.
- W2945118047 hasConceptScore W2945118047C41895202 @default.
- W2945118047 hasLocation W29451180471 @default.
- W2945118047 hasLocation W29451180472 @default.
- W2945118047 hasLocation W29451180473 @default.
- W2945118047 hasLocation W29451180474 @default.
- W2945118047 hasOpenAccess W2945118047 @default.
- W2945118047 hasPrimaryLocation W29451180471 @default.
- W2945118047 hasRelatedWork W1636163329 @default.
- W2945118047 hasRelatedWork W2281248943 @default.
- W2945118047 hasRelatedWork W2734192830 @default.
- W2945118047 hasRelatedWork W3045121788 @default.
- W2945118047 hasRelatedWork W3134442314 @default.
- W2945118047 hasRelatedWork W4205377127 @default.
- W2945118047 hasRelatedWork W4292947165 @default.
- W2945118047 hasRelatedWork W238609530 @default.
- W2945118047 hasRelatedWork W3016395638 @default.
- W2945118047 hasRelatedWork W3201655533 @default.
- W2945118047 isParatext "false" @default.
- W2945118047 isRetracted "false" @default.
- W2945118047 magId "2945118047" @default.
- W2945118047 workType "article" @default.