Matches in SemOpenAlex for { <https://semopenalex.org/work/W1549801459> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1549801459 abstract "A Turing degree d bounds a principle P of reverse mathematics if every computable instance of P has a d-computable solution. P admits a universal instance if there exists a computable instance such that every solution bounds P. We prove that the stable version of the ascending descending sequence principle (SADS) as well as the stable version of the thin set theorem for pairs (STS(2)) do not admit a bound of low_2 degree. Therefore no principle between Ramsey's theorem for pairs RT22 and SADS or STS(2) admit a universal instance. We construct a low_2 degree bounding the ErdH{o}s-Moser theorem (EM), thereby showing that previous argument does not hold for EM. Finally, we prove that the only Delta^0_2 degree bounding a stable version of the rainbow Ramsey theorem for pairs (SRRT22) is 0'. Hence no principle between the stable Ramsey theorem for pairs SRT22 and SRRT22 admit a universal instance. In particular the stable version of the ErdH{o}s-Moser theorem does not admit one. It remains unknown whether EM admits a universal instance." @default.
- W1549801459 created "2016-06-24" @default.
- W1549801459 creator A5032131260 @default.
- W1549801459 date "2014-11-06" @default.
- W1549801459 modified "2023-09-26" @default.
- W1549801459 title "Degrees bounding principles and universal instances in reverse mathematics" @default.
- W1549801459 cites W1496947201 @default.
- W1549801459 cites W1981894804 @default.
- W1549801459 cites W2023021577 @default.
- W1549801459 cites W2026779741 @default.
- W1549801459 cites W2038076484 @default.
- W1549801459 cites W2090521688 @default.
- W1549801459 cites W2098052203 @default.
- W1549801459 cites W2101746971 @default.
- W1549801459 cites W2102358420 @default.
- W1549801459 cites W2102442643 @default.
- W1549801459 cites W2111379744 @default.
- W1549801459 cites W2144268026 @default.
- W1549801459 cites W2148962283 @default.
- W1549801459 cites W2160285120 @default.
- W1549801459 cites W2230984504 @default.
- W1549801459 cites W52684542 @default.
- W1549801459 hasPublicationYear "2014" @default.
- W1549801459 type Work @default.
- W1549801459 sameAs 1549801459 @default.
- W1549801459 citedByCount "0" @default.
- W1549801459 crossrefType "posted-content" @default.
- W1549801459 hasAuthorship W1549801459A5032131260 @default.
- W1549801459 hasConcept C114614502 @default.
- W1549801459 hasConcept C118615104 @default.
- W1549801459 hasConcept C121332964 @default.
- W1549801459 hasConcept C154945302 @default.
- W1549801459 hasConcept C194886279 @default.
- W1549801459 hasConcept C24890656 @default.
- W1549801459 hasConcept C2775997480 @default.
- W1549801459 hasConcept C2778112365 @default.
- W1549801459 hasConcept C33923547 @default.
- W1549801459 hasConcept C3853638 @default.
- W1549801459 hasConcept C41008148 @default.
- W1549801459 hasConcept C45962547 @default.
- W1549801459 hasConcept C54355233 @default.
- W1549801459 hasConcept C63584917 @default.
- W1549801459 hasConcept C68227491 @default.
- W1549801459 hasConcept C86803240 @default.
- W1549801459 hasConceptScore W1549801459C114614502 @default.
- W1549801459 hasConceptScore W1549801459C118615104 @default.
- W1549801459 hasConceptScore W1549801459C121332964 @default.
- W1549801459 hasConceptScore W1549801459C154945302 @default.
- W1549801459 hasConceptScore W1549801459C194886279 @default.
- W1549801459 hasConceptScore W1549801459C24890656 @default.
- W1549801459 hasConceptScore W1549801459C2775997480 @default.
- W1549801459 hasConceptScore W1549801459C2778112365 @default.
- W1549801459 hasConceptScore W1549801459C33923547 @default.
- W1549801459 hasConceptScore W1549801459C3853638 @default.
- W1549801459 hasConceptScore W1549801459C41008148 @default.
- W1549801459 hasConceptScore W1549801459C45962547 @default.
- W1549801459 hasConceptScore W1549801459C54355233 @default.
- W1549801459 hasConceptScore W1549801459C63584917 @default.
- W1549801459 hasConceptScore W1549801459C68227491 @default.
- W1549801459 hasConceptScore W1549801459C86803240 @default.
- W1549801459 hasLocation W15498014591 @default.
- W1549801459 hasOpenAccess W1549801459 @default.
- W1549801459 hasPrimaryLocation W15498014591 @default.
- W1549801459 hasRelatedWork W1846297281 @default.
- W1549801459 hasRelatedWork W1984983426 @default.
- W1549801459 hasRelatedWork W1994336818 @default.
- W1549801459 hasRelatedWork W2016227329 @default.
- W1549801459 hasRelatedWork W2018605737 @default.
- W1549801459 hasRelatedWork W2037609605 @default.
- W1549801459 hasRelatedWork W2060782772 @default.
- W1549801459 hasRelatedWork W2130233653 @default.
- W1549801459 hasRelatedWork W2143608087 @default.
- W1549801459 hasRelatedWork W2157945276 @default.
- W1549801459 hasRelatedWork W2230984504 @default.
- W1549801459 hasRelatedWork W2268393303 @default.
- W1549801459 hasRelatedWork W2949231378 @default.
- W1549801459 hasRelatedWork W2953078065 @default.
- W1549801459 hasRelatedWork W2962726502 @default.
- W1549801459 hasRelatedWork W2963847608 @default.
- W1549801459 hasRelatedWork W2964070035 @default.
- W1549801459 hasRelatedWork W3098647228 @default.
- W1549801459 hasRelatedWork W3100726716 @default.
- W1549801459 hasRelatedWork W3207152999 @default.
- W1549801459 isParatext "false" @default.
- W1549801459 isRetracted "false" @default.
- W1549801459 magId "1549801459" @default.
- W1549801459 workType "article" @default.