Matches in SemOpenAlex for { <https://semopenalex.org/work/W2543836030> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2543836030 endingPage "829" @default.
- W2543836030 startingPage "819" @default.
- W2543836030 abstract "We present a natural restriction of Hindman’s Finite Sums Theorem that admits a simple combinatorial proof (one that does not also prove the full Finite Sums Theorem) and low computability-theoretic and proof-theoretic upper bounds, yet implies the existence of the Turing Jump, thus realizing the only known lower bound for the full Finite Sums Theorem. This is the first example of this kind. In fact we isolate a rich family of similar restrictions of Hindman’s Theorem with analogous properties." @default.
- W2543836030 created "2016-11-04" @default.
- W2543836030 creator A5038321878 @default.
- W2543836030 date "2017-09-28" @default.
- W2543836030 modified "2023-09-27" @default.
- W2543836030 title "“Weak yet strong” restrictions of Hindman’s Finite Sums Theorem" @default.
- W2543836030 cites W1997681421 @default.
- W2543836030 cites W2015534989 @default.
- W2543836030 cites W2103160899 @default.
- W2543836030 cites W2131443763 @default.
- W2543836030 cites W2148962283 @default.
- W2543836030 cites W2170311001 @default.
- W2543836030 cites W2962772396 @default.
- W2543836030 cites W2963347580 @default.
- W2543836030 cites W4206635932 @default.
- W2543836030 cites W4212782960 @default.
- W2543836030 cites W4229690001 @default.
- W2543836030 cites W4235431357 @default.
- W2543836030 cites W4240397580 @default.
- W2543836030 cites W4255494769 @default.
- W2543836030 doi "https://doi.org/10.1090/proc/13856" @default.
- W2543836030 hasPublicationYear "2017" @default.
- W2543836030 type Work @default.
- W2543836030 sameAs 2543836030 @default.
- W2543836030 citedByCount "4" @default.
- W2543836030 countsByYear W25438360302017 @default.
- W2543836030 countsByYear W25438360302020 @default.
- W2543836030 countsByYear W25438360302021 @default.
- W2543836030 countsByYear W25438360302022 @default.
- W2543836030 crossrefType "journal-article" @default.
- W2543836030 hasAuthorship W2543836030A5038321878 @default.
- W2543836030 hasBestOaLocation W25438360301 @default.
- W2543836030 hasConcept C111472728 @default.
- W2543836030 hasConcept C112291201 @default.
- W2543836030 hasConcept C114614502 @default.
- W2543836030 hasConcept C118615104 @default.
- W2543836030 hasConcept C121332964 @default.
- W2543836030 hasConcept C134306372 @default.
- W2543836030 hasConcept C138885662 @default.
- W2543836030 hasConcept C152062344 @default.
- W2543836030 hasConcept C199360897 @default.
- W2543836030 hasConcept C2780586882 @default.
- W2543836030 hasConcept C2780695682 @default.
- W2543836030 hasConcept C33923547 @default.
- W2543836030 hasConcept C41008148 @default.
- W2543836030 hasConcept C62520636 @default.
- W2543836030 hasConcept C77553402 @default.
- W2543836030 hasConcept C9870796 @default.
- W2543836030 hasConceptScore W2543836030C111472728 @default.
- W2543836030 hasConceptScore W2543836030C112291201 @default.
- W2543836030 hasConceptScore W2543836030C114614502 @default.
- W2543836030 hasConceptScore W2543836030C118615104 @default.
- W2543836030 hasConceptScore W2543836030C121332964 @default.
- W2543836030 hasConceptScore W2543836030C134306372 @default.
- W2543836030 hasConceptScore W2543836030C138885662 @default.
- W2543836030 hasConceptScore W2543836030C152062344 @default.
- W2543836030 hasConceptScore W2543836030C199360897 @default.
- W2543836030 hasConceptScore W2543836030C2780586882 @default.
- W2543836030 hasConceptScore W2543836030C2780695682 @default.
- W2543836030 hasConceptScore W2543836030C33923547 @default.
- W2543836030 hasConceptScore W2543836030C41008148 @default.
- W2543836030 hasConceptScore W2543836030C62520636 @default.
- W2543836030 hasConceptScore W2543836030C77553402 @default.
- W2543836030 hasConceptScore W2543836030C9870796 @default.
- W2543836030 hasIssue "2" @default.
- W2543836030 hasLocation W25438360301 @default.
- W2543836030 hasLocation W25438360302 @default.
- W2543836030 hasLocation W25438360303 @default.
- W2543836030 hasOpenAccess W2543836030 @default.
- W2543836030 hasPrimaryLocation W25438360301 @default.
- W2543836030 hasRelatedWork W153926374 @default.
- W2543836030 hasRelatedWork W2043525791 @default.
- W2543836030 hasRelatedWork W2059965974 @default.
- W2543836030 hasRelatedWork W2108149667 @default.
- W2543836030 hasRelatedWork W2606992953 @default.
- W2543836030 hasRelatedWork W2963726605 @default.
- W2543836030 hasRelatedWork W2963872185 @default.
- W2543836030 hasRelatedWork W4299513667 @default.
- W2543836030 hasRelatedWork W4299615596 @default.
- W2543836030 hasRelatedWork W4300505175 @default.
- W2543836030 hasVolume "146" @default.
- W2543836030 isParatext "false" @default.
- W2543836030 isRetracted "false" @default.
- W2543836030 magId "2543836030" @default.
- W2543836030 workType "article" @default.