{"id":"https://openalex.org/W2582449216","doi":"https://doi.org/10.3233/com-190264","title":"New bounds on the strength of some restrictions of Hindman\u2019s Theorem","display_name":"New bounds on the strength of some restrictions of Hindman\u2019s Theorem","publication_year":2019,"publication_date":"2019-11-12","ids":{"openalex":"https://openalex.org/W2582449216","doi":"https://doi.org/10.3233/com-190264","mag":"2582449216"},"language":"en","primary_location":{"id":"doi:10.3233/com-190264","is_oa":true,"landing_page_url":"https://doi.org/10.3233/com-190264","pdf_url":"https://content.iospress.com:443/download/computability/com190264?id=computability%2Fcom190264","source":{"id":"https://openalex.org/S4210231662","display_name":"Computability","issn_l":"2211-3568","issn":["2211-3568","2211-3576"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computability","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://content.iospress.com:443/download/computability/com190264?id=computability%2Fcom190264","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5038321878","display_name":"Lorenzo Carlucci","orcid":"https://orcid.org/0000-0001-8238-0315"},"institutions":[{"id":"https://openalex.org/I116067653","display_name":"University of Rome Tor Vergata","ror":"https://ror.org/02p77k626","country_code":"IT","type":"education","lineage":["https://openalex.org/I116067653"]},{"id":"https://openalex.org/I4210099865","display_name":"European University of Rome","ror":"https://ror.org/011at3t25","country_code":"IT","type":"education","lineage":["https://openalex.org/I4210099865"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Lorenzo Carlucci","raw_affiliation_strings":["Department of Computer Science, University of Rome I, Italy","Department of Computer Science, University of Rome I, Italy. carlucci@di.uniroma1.it"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Rome I, Italy","institution_ids":["https://openalex.org/I4210099865"]},{"raw_affiliation_string":"Department of Computer Science, University of Rome I, Italy. carlucci@di.uniroma1.it","institution_ids":["https://openalex.org/I116067653"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016862013","display_name":"Leszek Aleksander Ko\u0142odziejczyk","orcid":"https://orcid.org/0000-0002-8516-800X"},"institutions":[{"id":"https://openalex.org/I4210137370","display_name":"Institute of Mathematics","ror":"https://ror.org/04hrrh248","country_code":"PL","type":"facility","lineage":["https://openalex.org/I4210137370","https://openalex.org/I99542240"]},{"id":"https://openalex.org/I4654613","display_name":"University of Warsaw","ror":"https://ror.org/039bjqg32","country_code":"PL","type":"education","lineage":["https://openalex.org/I4654613"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Leszek Aleksander Ko\u0142odziejczyk","raw_affiliation_strings":["Institute of Mathematics, University of Warsaw, Poland","Institute of Mathematics, University of Warsaw, Poland. lak@mimuw.edu.pl"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Mathematics, University of Warsaw, Poland","institution_ids":["https://openalex.org/I4654613","https://openalex.org/I4210137370"]},{"raw_affiliation_string":"Institute of Mathematics, University of Warsaw, Poland. lak@mimuw.edu.pl","institution_ids":["https://openalex.org/I4654613","https://openalex.org/I4210137370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026738628","display_name":"Francesco Lepore","orcid":null},"institutions":[{"id":"https://openalex.org/I116067653","display_name":"University of Rome Tor Vergata","ror":"https://ror.org/02p77k626","country_code":"IT","type":"education","lineage":["https://openalex.org/I116067653"]},{"id":"https://openalex.org/I4210099865","display_name":"European University of Rome","ror":"https://ror.org/011at3t25","country_code":"IT","type":"education","lineage":["https://openalex.org/I4210099865"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Francesco Lepore","raw_affiliation_strings":["Department of Computer Science, University of Rome I, Italy","Department of Computer Science, University of Rome I, Italy. lepore90@gmail.com"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Rome I, Italy","institution_ids":["https://openalex.org/I4210099865"]},{"raw_affiliation_string":"Department of Computer Science, University of Rome I, Italy. lepore90@gmail.com","institution_ids":["https://openalex.org/I116067653"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011769838","display_name":"Konrad Zdanowski","orcid":"https://orcid.org/0000-0002-8846-3733"},"institutions":[{"id":"https://openalex.org/I69984877","display_name":"Cardinal Stefan Wyszynski University in Warsaw","ror":"https://ror.org/05sdyjv16","country_code":"PL","type":"education","lineage":["https://openalex.org/I69984877"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Konrad Zdanowski","raw_affiliation_strings":["Faculty of Mathematics and Natural Sciences, Cardinal Stefan Wyszy\u0144ski University in Warsaw, Poland","Faculty of Mathematics and Natural Sciences, Cardinal Stefan Wyszy\u0144ski University in Warsaw, Poland. k.zdanowski@uksw.edu.pl"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Mathematics and Natural Sciences, Cardinal Stefan Wyszy\u0144ski University in Warsaw, Poland","institution_ids":["https://openalex.org/I69984877"]},{"raw_affiliation_string":"Faculty of Mathematics and Natural Sciences, Cardinal Stefan Wyszy\u0144ski University in Warsaw, Poland. k.zdanowski@uksw.edu.pl","institution_ids":["https://openalex.org/I69984877"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5038321878"],"corresponding_institution_ids":["https://openalex.org/I116067653","https://openalex.org/I4210099865"],"apc_list":null,"apc_paid":null,"fwci":0.8086,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.73726115,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"9","issue":"2","first_page":"139","last_page":"153"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9945999979972839,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7951282262802124},{"id":"https://openalex.org/keywords/ramsey-theory","display_name":"Ramsey theory","score":0.7694253921508789},{"id":"https://openalex.org/keywords/computability","display_name":"Computability","score":0.7021175026893616},{"id":"https://openalex.org/keywords/reverse-mathematics","display_name":"Reverse mathematics","score":0.6441735029220581},{"id":"https://openalex.org/keywords/gap-theorem","display_name":"Gap theorem","score":0.5597046613693237},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5529626607894897},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5405446887016296},{"id":"https://openalex.org/keywords/computability-theory","display_name":"Computability theory","score":0.5356058478355408},{"id":"https://openalex.org/keywords/ramseys-theorem","display_name":"Ramsey's theorem","score":0.5052185654640198},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.36324799060821533},{"id":"https://openalex.org/keywords/fundamental-theorem","display_name":"Fundamental theorem","score":0.3219238519668579},{"id":"https://openalex.org/keywords/fixed-point-theorem","display_name":"Fixed-point theorem","score":0.29914340376853943},{"id":"https://openalex.org/keywords/compactness-theorem","display_name":"Compactness theorem","score":0.218205064535141},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.06860584020614624},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.06610846519470215}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7951282262802124},{"id":"https://openalex.org/C112291201","wikidata":"https://www.wikidata.org/wiki/Q1336170","display_name":"Ramsey theory","level":2,"score":0.7694253921508789},{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.7021175026893616},{"id":"https://openalex.org/C127753061","wikidata":"https://www.wikidata.org/wiki/Q2005236","display_name":"Reverse mathematics","level":3,"score":0.6441735029220581},{"id":"https://openalex.org/C3853638","wikidata":"https://www.wikidata.org/wiki/Q1314081","display_name":"Gap theorem","level":5,"score":0.5597046613693237},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5529626607894897},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5405446887016296},{"id":"https://openalex.org/C111142201","wikidata":"https://www.wikidata.org/wiki/Q818930","display_name":"Computability theory","level":2,"score":0.5356058478355408},{"id":"https://openalex.org/C44115641","wikidata":"https://www.wikidata.org/wiki/Q918099","display_name":"Ramsey's theorem","level":3,"score":0.5052185654640198},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.36324799060821533},{"id":"https://openalex.org/C194886279","wikidata":"https://www.wikidata.org/wiki/Q430271","display_name":"Fundamental theorem","level":3,"score":0.3219238519668579},{"id":"https://openalex.org/C45962547","wikidata":"https://www.wikidata.org/wiki/Q1422068","display_name":"Fixed-point theorem","level":2,"score":0.29914340376853943},{"id":"https://openalex.org/C171636804","wikidata":"https://www.wikidata.org/wiki/Q1149458","display_name":"Compactness theorem","level":4,"score":0.218205064535141},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.06860584020614624},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.06610846519470215},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/com-190264","is_oa":true,"landing_page_url":"https://doi.org/10.3233/com-190264","pdf_url":"https://content.iospress.com:443/download/computability/com190264?id=computability%2Fcom190264","source":{"id":"https://openalex.org/S4210231662","display_name":"Computability","issn_l":"2211-3568","issn":["2211-3568","2211-3576"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computability","raw_type":"journal-article"},{"id":"pmh:oai:iris.uniroma1.it:11573/1393123","is_oa":true,"landing_page_url":"https://hdl.handle.net/11573/1393123","pdf_url":null,"source":{"id":"https://openalex.org/S4377196107","display_name":"IRIS Research product catalog (Sapienza University of Rome)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.3233/com-190264","is_oa":true,"landing_page_url":"https://doi.org/10.3233/com-190264","pdf_url":"https://content.iospress.com:443/download/computability/com190264?id=computability%2Fcom190264","source":{"id":"https://openalex.org/S4210231662","display_name":"Computability","issn_l":"2211-3568","issn":["2211-3568","2211-3576"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computability","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320314997","display_name":"Strong","ror":"https://ror.org/041vyzr56"},{"id":"https://openalex.org/F4320320698","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49"},{"id":"https://openalex.org/F4320337380","display_name":"Division of Mathematical Sciences","ror":"https://ror.org/051fftw81"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2582449216.pdf","grobid_xml":"https://content.openalex.org/works/W2582449216.grobid-xml"},"referenced_works_count":31,"referenced_works":["https://openalex.org/W289747199","https://openalex.org/W1572451808","https://openalex.org/W1597834884","https://openalex.org/W1966303569","https://openalex.org/W1980508304","https://openalex.org/W1997681421","https://openalex.org/W2015534989","https://openalex.org/W2017219446","https://openalex.org/W2024864091","https://openalex.org/W2027774232","https://openalex.org/W2029235915","https://openalex.org/W2103160899","https://openalex.org/W2131443763","https://openalex.org/W2148962283","https://openalex.org/W2157945276","https://openalex.org/W2170311001","https://openalex.org/W2230984504","https://openalex.org/W2336574378","https://openalex.org/W2337621514","https://openalex.org/W2532759974","https://openalex.org/W2543836030","https://openalex.org/W2559546918","https://openalex.org/W2798428635","https://openalex.org/W2962720709","https://openalex.org/W2962772396","https://openalex.org/W2962887429","https://openalex.org/W2964144838","https://openalex.org/W2983889864","https://openalex.org/W4229690001","https://openalex.org/W4235431357","https://openalex.org/W4244259932"],"related_works":["https://openalex.org/W2963774537","https://openalex.org/W1941158338","https://openalex.org/W4297040188","https://openalex.org/W4388890876","https://openalex.org/W1138927884","https://openalex.org/W2098052203","https://openalex.org/W2290798059","https://openalex.org/W3006582179","https://openalex.org/W2949231378","https://openalex.org/W2582449216"],"abstract_inverted_index":{"The":[0,140,192],"relations":[1],"between":[2],"(restrictions":[3],"of)":[4,11],"Hindman\u2019s":[5,109],"Finite":[6,44,92,149,166],"Sums":[7,45,93,167],"Theorem":[8,13,46,110,168,184],"and":[9,24,66,77,190],"(variants":[10],"Ramsey\u2019s":[12,183],"give":[14],"rise":[15],"to":[16,47,84,112,120,144,179,195],"long-standing":[17,60],"open":[18,34,61],"problems":[19],"in":[20,152,198],"combinatorics,":[21],"computability":[22],"theory":[23],"proof":[25],"theory.":[26],"We":[27,68],"present":[28],"some":[29],"results":[30,142],"motivated":[31],"by":[32,63,188],"these":[33],"problems.":[35],"In":[36,95],"particular":[37],"we":[38,106,162],"investigate":[39],"the":[40,43,56,74,87,91,137,148,165,180,196,199],"restriction":[41,72],"of":[42,49,58,90,97,114,147,171],"sums":[48,113,170],"at":[50,172],"most":[51,173],"two":[52,174],"elements,":[53],"which":[54,153],"is":[55,82,118,134,158,176],"subject":[57],"a":[59,130,155],"question":[62],"Hindman,":[64],"Leader":[65],"Strauss.":[67],"show":[69,107,163],"that":[70,81,108,164],"this":[71],"has":[73],"same":[75,141],"proof-theoretic":[76],"computability-theoretic":[78],"lower":[79],"bound":[80],"known":[83,202],"hold":[85],"for":[86,124,169,185],"full":[88],"version":[89],"Theorem.":[94],"terms":[96],"reverse":[98],"mathematics":[99],"it":[100],"implies":[101],"[Formula:":[102,121,126],"see":[103,122,127],"text].":[104],"Also,":[105],"restricted":[111],"exactly":[115],"n":[116],"elements":[117,175],"equivalent":[119],"text]":[123],"each":[125],"text],":[128],"provided":[129],"certain":[131],"sparsity":[132,156],"condition":[133,157],"imposed":[135],"on":[136],"solution":[138],"set.":[139],"apply":[143],"bounded":[145],"versions":[146],"Union":[150],"Theorem,":[151],"such":[154],"already":[159],"built-in.":[160],"Further":[161],"tightly":[177],"connected":[178],"Increasing":[181],"Polarized":[182],"pairs":[186],"introduced":[187],"Dzhafarov":[189],"Hirst.":[191],"latter":[193],"reduces":[194],"former":[197],"technical":[200],"sense":[201],"as":[203],"strong":[204],"computable":[205],"reducibility.":[206]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2018,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}