Matches in SemOpenAlex for { <https://semopenalex.org/work/W2016125425> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2016125425 abstract "We show that, for every partition F of the pairs of natural numbers and for every set C, if C is not recursive in F then there is an infinite set H, such that H is homogeneous for F and C is not recursive in H. We conclude that the formal statement of Ramsey's Theorem for Pairs is not strong enough to prove $ACA_0$, the comprehension scheme for arithmetical formulas, within the base theory $RCA_0$, the comprehension scheme for recursive formulas. We also show that Ramsey's Theorem for Pairs is strong enough to prove some sentences in first order arithmetic which are not provable within $RCA_0$. In particular, Ramsey's Theorem for Pairs is not conservative over $RCA_0$ for $Pi^0_4$-sentences." @default.
- W2016125425 created "2016-06-24" @default.
- W2016125425 creator A5028771327 @default.
- W2016125425 creator A5056375116 @default.
- W2016125425 date "1995-10-01" @default.
- W2016125425 modified "2023-09-24" @default.
- W2016125425 title "On the Strength of Ramsey's Theorem" @default.
- W2016125425 cites W2016227329 @default.
- W2016125425 cites W2055394931 @default.
- W2016125425 cites W2060075008 @default.
- W2016125425 cites W2101746971 @default.
- W2016125425 cites W2131443763 @default.
- W2016125425 cites W4231202900 @default.
- W2016125425 cites W4246804796 @default.
- W2016125425 doi "https://doi.org/10.1305/ndjfl/1040136917" @default.
- W2016125425 hasPublicationYear "1995" @default.
- W2016125425 type Work @default.
- W2016125425 sameAs 2016125425 @default.
- W2016125425 citedByCount "110" @default.
- W2016125425 countsByYear W20161254252012 @default.
- W2016125425 countsByYear W20161254252013 @default.
- W2016125425 countsByYear W20161254252014 @default.
- W2016125425 countsByYear W20161254252015 @default.
- W2016125425 countsByYear W20161254252016 @default.
- W2016125425 countsByYear W20161254252017 @default.
- W2016125425 countsByYear W20161254252018 @default.
- W2016125425 countsByYear W20161254252019 @default.
- W2016125425 countsByYear W20161254252020 @default.
- W2016125425 countsByYear W20161254252021 @default.
- W2016125425 countsByYear W20161254252022 @default.
- W2016125425 countsByYear W20161254252023 @default.
- W2016125425 crossrefType "journal-article" @default.
- W2016125425 hasAuthorship W2016125425A5028771327 @default.
- W2016125425 hasAuthorship W2016125425A5056375116 @default.
- W2016125425 hasBestOaLocation W20161254251 @default.
- W2016125425 hasConcept C10138342 @default.
- W2016125425 hasConcept C112291201 @default.
- W2016125425 hasConcept C112343008 @default.
- W2016125425 hasConcept C114614502 @default.
- W2016125425 hasConcept C118615104 @default.
- W2016125425 hasConcept C127753061 @default.
- W2016125425 hasConcept C132525143 @default.
- W2016125425 hasConcept C134306372 @default.
- W2016125425 hasConcept C162324750 @default.
- W2016125425 hasConcept C167729594 @default.
- W2016125425 hasConcept C182306322 @default.
- W2016125425 hasConcept C2524010 @default.
- W2016125425 hasConcept C33923547 @default.
- W2016125425 hasConcept C42058472 @default.
- W2016125425 hasConcept C42812 @default.
- W2016125425 hasConcept C44115641 @default.
- W2016125425 hasConcept C65148605 @default.
- W2016125425 hasConcept C97489613 @default.
- W2016125425 hasConceptScore W2016125425C10138342 @default.
- W2016125425 hasConceptScore W2016125425C112291201 @default.
- W2016125425 hasConceptScore W2016125425C112343008 @default.
- W2016125425 hasConceptScore W2016125425C114614502 @default.
- W2016125425 hasConceptScore W2016125425C118615104 @default.
- W2016125425 hasConceptScore W2016125425C127753061 @default.
- W2016125425 hasConceptScore W2016125425C132525143 @default.
- W2016125425 hasConceptScore W2016125425C134306372 @default.
- W2016125425 hasConceptScore W2016125425C162324750 @default.
- W2016125425 hasConceptScore W2016125425C167729594 @default.
- W2016125425 hasConceptScore W2016125425C182306322 @default.
- W2016125425 hasConceptScore W2016125425C2524010 @default.
- W2016125425 hasConceptScore W2016125425C33923547 @default.
- W2016125425 hasConceptScore W2016125425C42058472 @default.
- W2016125425 hasConceptScore W2016125425C42812 @default.
- W2016125425 hasConceptScore W2016125425C44115641 @default.
- W2016125425 hasConceptScore W2016125425C65148605 @default.
- W2016125425 hasConceptScore W2016125425C97489613 @default.
- W2016125425 hasIssue "4" @default.
- W2016125425 hasLocation W20161254251 @default.
- W2016125425 hasOpenAccess W2016125425 @default.
- W2016125425 hasPrimaryLocation W20161254251 @default.
- W2016125425 hasRelatedWork W2016125425 @default.
- W2016125425 hasRelatedWork W2060782772 @default.
- W2016125425 hasRelatedWork W2091690195 @default.
- W2016125425 hasRelatedWork W2092296749 @default.
- W2016125425 hasRelatedWork W2098052203 @default.
- W2016125425 hasRelatedWork W2160990703 @default.
- W2016125425 hasRelatedWork W2271772548 @default.
- W2016125425 hasRelatedWork W2949231378 @default.
- W2016125425 hasRelatedWork W4294381299 @default.
- W2016125425 hasRelatedWork W4309591236 @default.
- W2016125425 hasVolume "36" @default.
- W2016125425 isParatext "false" @default.
- W2016125425 isRetracted "false" @default.
- W2016125425 magId "2016125425" @default.
- W2016125425 workType "article" @default.