Matches in SemOpenAlex for { <https://semopenalex.org/work/W2098052203> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2098052203 endingPage "427" @default.
- W2098052203 startingPage "411" @default.
- W2098052203 abstract "The connections between mathematical logic and combinatorics have a rich history. This paper focuses on one aspect of this relationship: understanding the strength, measured using the tools of computability theory and reverse mathematics, of various partition theorems. To set the stage, recall two of the most fundamental combinatorial principles, König's Lemma and Ramsey's Theorem. We denote the set of natural numbers by ω and the set of finite sequences of natural numbers by ω <ω . We also identify each n ∈ ω with its set of predecessors, so n = {0, 1, 2, …, n − 1}." @default.
- W2098052203 created "2016-06-24" @default.
- W2098052203 creator A5085592845 @default.
- W2098052203 date "2005-09-01" @default.
- W2098052203 modified "2023-09-27" @default.
- W2098052203 title "Partition Theorems and Computability Theory" @default.
- W2098052203 cites W1556453281 @default.
- W2098052203 cites W1597834884 @default.
- W2098052203 cites W1981894804 @default.
- W2098052203 cites W2016125425 @default.
- W2098052203 cites W2016227329 @default.
- W2098052203 cites W2036673058 @default.
- W2098052203 cites W2040267382 @default.
- W2098052203 cites W2066486518 @default.
- W2098052203 cites W2072032541 @default.
- W2098052203 cites W2095689360 @default.
- W2098052203 cites W2131443763 @default.
- W2098052203 cites W2148962283 @default.
- W2098052203 cites W23157471 @default.
- W2098052203 cites W3037719602 @default.
- W2098052203 cites W4232277851 @default.
- W2098052203 cites W4237089183 @default.
- W2098052203 cites W998536193 @default.
- W2098052203 doi "https://doi.org/10.2178/bsl/1122038995" @default.
- W2098052203 hasPublicationYear "2005" @default.
- W2098052203 type Work @default.
- W2098052203 sameAs 2098052203 @default.
- W2098052203 citedByCount "23" @default.
- W2098052203 countsByYear W20980522032012 @default.
- W2098052203 countsByYear W20980522032013 @default.
- W2098052203 countsByYear W20980522032014 @default.
- W2098052203 countsByYear W20980522032015 @default.
- W2098052203 countsByYear W20980522032016 @default.
- W2098052203 countsByYear W20980522032018 @default.
- W2098052203 countsByYear W20980522032019 @default.
- W2098052203 countsByYear W20980522032020 @default.
- W2098052203 countsByYear W20980522032021 @default.
- W2098052203 crossrefType "journal-article" @default.
- W2098052203 hasAuthorship W2098052203A5085592845 @default.
- W2098052203 hasConcept C111142201 @default.
- W2098052203 hasConcept C112291201 @default.
- W2098052203 hasConcept C114614502 @default.
- W2098052203 hasConcept C118615104 @default.
- W2098052203 hasConcept C127753061 @default.
- W2098052203 hasConcept C151797676 @default.
- W2098052203 hasConcept C152062344 @default.
- W2098052203 hasConcept C153046414 @default.
- W2098052203 hasConcept C167729594 @default.
- W2098052203 hasConcept C177264268 @default.
- W2098052203 hasConcept C184264201 @default.
- W2098052203 hasConcept C18903297 @default.
- W2098052203 hasConcept C199360897 @default.
- W2098052203 hasConcept C2524010 @default.
- W2098052203 hasConcept C2777759810 @default.
- W2098052203 hasConcept C33923547 @default.
- W2098052203 hasConcept C41008148 @default.
- W2098052203 hasConcept C42812 @default.
- W2098052203 hasConcept C46757340 @default.
- W2098052203 hasConcept C86803240 @default.
- W2098052203 hasConceptScore W2098052203C111142201 @default.
- W2098052203 hasConceptScore W2098052203C112291201 @default.
- W2098052203 hasConceptScore W2098052203C114614502 @default.
- W2098052203 hasConceptScore W2098052203C118615104 @default.
- W2098052203 hasConceptScore W2098052203C127753061 @default.
- W2098052203 hasConceptScore W2098052203C151797676 @default.
- W2098052203 hasConceptScore W2098052203C152062344 @default.
- W2098052203 hasConceptScore W2098052203C153046414 @default.
- W2098052203 hasConceptScore W2098052203C167729594 @default.
- W2098052203 hasConceptScore W2098052203C177264268 @default.
- W2098052203 hasConceptScore W2098052203C184264201 @default.
- W2098052203 hasConceptScore W2098052203C18903297 @default.
- W2098052203 hasConceptScore W2098052203C199360897 @default.
- W2098052203 hasConceptScore W2098052203C2524010 @default.
- W2098052203 hasConceptScore W2098052203C2777759810 @default.
- W2098052203 hasConceptScore W2098052203C33923547 @default.
- W2098052203 hasConceptScore W2098052203C41008148 @default.
- W2098052203 hasConceptScore W2098052203C42812 @default.
- W2098052203 hasConceptScore W2098052203C46757340 @default.
- W2098052203 hasConceptScore W2098052203C86803240 @default.
- W2098052203 hasIssue "3" @default.
- W2098052203 hasLocation W20980522031 @default.
- W2098052203 hasOpenAccess W2098052203 @default.
- W2098052203 hasPrimaryLocation W20980522031 @default.
- W2098052203 hasRelatedWork W1559233844 @default.
- W2098052203 hasRelatedWork W2098052203 @default.
- W2098052203 hasRelatedWork W2519278145 @default.
- W2098052203 hasRelatedWork W2938315078 @default.
- W2098052203 hasRelatedWork W2962823038 @default.
- W2098052203 hasRelatedWork W2977940537 @default.
- W2098052203 hasRelatedWork W3090093830 @default.
- W2098052203 hasRelatedWork W3105905549 @default.
- W2098052203 hasRelatedWork W4298328084 @default.
- W2098052203 hasRelatedWork W2429136598 @default.
- W2098052203 hasVolume "11" @default.
- W2098052203 isParatext "false" @default.
- W2098052203 isRetracted "false" @default.
- W2098052203 magId "2098052203" @default.
- W2098052203 workType "article" @default.