{"id":"https://openalex.org/W2963710712","doi":"https://doi.org/10.1142/s0219061319500107","title":"Equations in oligomorphic clones and the constraint satisfaction problem for \u03c9-categorical structures","display_name":"Equations in oligomorphic clones and the constraint satisfaction problem for \u03c9-categorical structures","publication_year":2019,"publication_date":"2019-03-28","ids":{"openalex":"https://openalex.org/W2963710712","doi":"https://doi.org/10.1142/s0219061319500107","mag":"2963710712"},"language":"en","primary_location":{"id":"doi:10.1142/s0219061319500107","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0219061319500107","pdf_url":null,"source":{"id":"https://openalex.org/S29890666","display_name":"Journal of Mathematical Logic","issn_l":"0219-0613","issn":["0219-0613","1793-6691"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Mathematical Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5071004419","display_name":"Libor Barto","orcid":"https://orcid.org/0000-0002-8481-6458"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Libor Barto","raw_affiliation_strings":["Department of Algebra, MFF UK, Charles University, Sokolovska 83, 186 00 Praha 8, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Department of Algebra, MFF UK, Charles University, Sokolovska 83, 186 00 Praha 8, Czech Republic","institution_ids":["https://openalex.org/I21250087"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063365809","display_name":"Michael Kompatscher","orcid":"https://orcid.org/0000-0002-0163-6604"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Michael Kompatscher","raw_affiliation_strings":["Department of Algebra, MFF UK, Charles University, Sokolovska 83, 186 00 Praha 8, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Department of Algebra, MFF UK, Charles University, Sokolovska 83, 186 00 Praha 8, Czech Republic","institution_ids":["https://openalex.org/I21250087"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028924645","display_name":"Miroslav Ol\u0161\u00e1k","orcid":"https://orcid.org/0000-0002-9361-1921"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Miroslav Ol\u0161\u00e1k","raw_affiliation_strings":["Department of Algebra, MFF UK, Charles University, Sokolovska 83, 186 00 Praha 8, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Department of Algebra, MFF UK, Charles University, Sokolovska 83, 186 00 Praha 8, Czech Republic","institution_ids":["https://openalex.org/I21250087"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5097598234","display_name":"Van Pham Trung","orcid":null},"institutions":[{"id":"https://openalex.org/I4210148301","display_name":"Institute of Mathematics","ror":"https://ror.org/04jr71r83","country_code":"VN","type":"facility","lineage":["https://openalex.org/I4210148301","https://openalex.org/I70349855"]},{"id":"https://openalex.org/I70349855","display_name":"Vietnam Academy of Science and Technology","ror":"https://ror.org/02wsd5p50","country_code":"VN","type":"funder","lineage":["https://openalex.org/I70349855"]}],"countries":["VN"],"is_corresponding":false,"raw_author_name":"Van Pham Trung","raw_affiliation_strings":["Department of Mathematics for Computer Science, Institute of Mathematics, Vietnam Academy of Science and Technology, Hanoi, Vietnam"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics for Computer Science, Institute of Mathematics, Vietnam Academy of Science and Technology, Hanoi, Vietnam","institution_ids":["https://openalex.org/I70349855","https://openalex.org/I4210148301"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070658141","display_name":"Michael Pinsker","orcid":"https://orcid.org/0000-0002-4727-918X"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]},{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT","CZ"],"is_corresponding":false,"raw_author_name":"Michael Pinsker","raw_affiliation_strings":["Department of Algebra, Charles University, Czech Republic","Institut f\u00fcr Diskrete Mathematik und Geometrie, FG Algebra, TU Wien, Austria"],"affiliations":[{"raw_affiliation_string":"Department of Algebra, Charles University, Czech Republic","institution_ids":["https://openalex.org/I21250087"]},{"raw_affiliation_string":"Institut f\u00fcr Diskrete Mathematik und Geometrie, FG Algebra, TU Wien, Austria","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5071004419"],"corresponding_institution_ids":["https://openalex.org/I21250087"],"apc_list":null,"apc_paid":null,"fwci":6.8418,"has_fulltext":false,"cited_by_count":26,"citation_normalized_percentile":{"value":0.97625348,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":"19","issue":"02","first_page":"1950010","last_page":"1950010"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9898999929428101,"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/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.9897000193595886,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8380401134490967},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.6486717462539673},{"id":"https://openalex.org/keywords/modulo","display_name":"Modulo","score":0.6295394897460938},{"id":"https://openalex.org/keywords/arity","display_name":"Arity","score":0.6043120622634888},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5971392393112183},{"id":"https://openalex.org/keywords/counterexample","display_name":"Counterexample","score":0.564918577671051},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5192596912384033},{"id":"https://openalex.org/keywords/conjecture","display_name":"Conjecture","score":0.5170436501502991},{"id":"https://openalex.org/keywords/complexity-of-constraint-satisfaction","display_name":"Complexity of constraint satisfaction","score":0.4810478985309601},{"id":"https://openalex.org/keywords/reduct","display_name":"Reduct","score":0.41904768347740173},{"id":"https://openalex.org/keywords/constraint-satisfaction-problem","display_name":"Constraint satisfaction problem","score":0.41603371500968933},{"id":"https://openalex.org/keywords/structured-program-theorem","display_name":"Structured program theorem","score":0.4129970967769623},{"id":"https://openalex.org/keywords/local-consistency","display_name":"Local consistency","score":0.10337543487548828}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8380401134490967},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.6486717462539673},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.6295394897460938},{"id":"https://openalex.org/C110546421","wikidata":"https://www.wikidata.org/wiki/Q1315869","display_name":"Arity","level":2,"score":0.6043120622634888},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5971392393112183},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.564918577671051},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5192596912384033},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.5170436501502991},{"id":"https://openalex.org/C132180345","wikidata":"https://www.wikidata.org/wiki/Q5156628","display_name":"Complexity of constraint satisfaction","level":5,"score":0.4810478985309601},{"id":"https://openalex.org/C69177213","wikidata":"https://www.wikidata.org/wiki/Q12880812","display_name":"Reduct","level":3,"score":0.41904768347740173},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.41603371500968933},{"id":"https://openalex.org/C180375552","wikidata":"https://www.wikidata.org/wiki/Q2635326","display_name":"Structured program theorem","level":2,"score":0.4129970967769623},{"id":"https://openalex.org/C137105694","wikidata":"https://www.wikidata.org/wiki/Q3407510","display_name":"Local consistency","level":4,"score":0.10337543487548828},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C111012933","wikidata":"https://www.wikidata.org/wiki/Q3137210","display_name":"Rough set","level":2,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0219061319500107","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0219061319500107","pdf_url":null,"source":{"id":"https://openalex.org/S29890666","display_name":"Journal of Mathematical Logic","issn_l":"0219-0613","issn":["0219-0613","1793-6691"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Mathematical Logic","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W417925666","https://openalex.org/W611585752","https://openalex.org/W1556189547","https://openalex.org/W1561798411","https://openalex.org/W1601269853","https://openalex.org/W1784570274","https://openalex.org/W1967190838","https://openalex.org/W1968276645","https://openalex.org/W2058971493","https://openalex.org/W2069388397","https://openalex.org/W2087215337","https://openalex.org/W2100984870","https://openalex.org/W2108266191","https://openalex.org/W2114330543","https://openalex.org/W2150339067","https://openalex.org/W2158012017","https://openalex.org/W2243954424","https://openalex.org/W2598159508","https://openalex.org/W2962785950","https://openalex.org/W2963269037","https://openalex.org/W2963284190","https://openalex.org/W2963666051","https://openalex.org/W2963768895","https://openalex.org/W2963844545","https://openalex.org/W2964172190","https://openalex.org/W3038109304","https://openalex.org/W3103815471","https://openalex.org/W3104398743","https://openalex.org/W3112092492","https://openalex.org/W3121566589","https://openalex.org/W4213300915","https://openalex.org/W4293176479"],"related_works":["https://openalex.org/W3021221643","https://openalex.org/W3184046060","https://openalex.org/W3061362066","https://openalex.org/W2626872748","https://openalex.org/W2751025771","https://openalex.org/W1990734013","https://openalex.org/W2155910042","https://openalex.org/W70192758","https://openalex.org/W1492779419","https://openalex.org/W2406415335"],"abstract_inverted_index":{"There":[0],"exist":[1],"two":[2,119,143],"conjectures":[3,120],"for":[4,102,167,212],"constraint":[5],"satisfaction":[6],"problems":[7],"(CSPs)":[8],"of":[9,11,22,25,98,108,141,160,181,192,204,216,218,240,242],"reducts":[10,217],"finitely":[12,194],"bounded":[13,195],"homogeneous":[14,162],"structures:":[15],"the":[16,23,31,55,68,81,91,95,105,118,139,142,157,219,222,226,238,243],"first":[17],"one":[18],"states":[19,62],"that":[20,63,90,117,130,178,246],"tractability":[21,64],"CSP":[24],"such":[26],"a":[27,34,43,99,127,147,161,169,193,201,232,256],"structure":[28,32,100,163,196,251],"is,":[29],"when":[30],"is":[33,65,135,186,252],"model-complete":[35,58,148,257],"core,":[36],"equivalent":[37,66,254],"to":[38,67,115,137,255],"its":[39,76,109],"polymorphism":[40,96,180],"clone":[41,97],"satisfying":[42],"certain":[44],"nontrivial":[45,202,209],"linear":[46,69,205,210],"identity":[47],"modulo":[48,189],"outer":[49,72,190],"embeddings.":[50],"The":[51],"second":[52],"conjecture,":[53],"challenging":[54],"approach":[56],"via":[57],"cores":[59],"by":[60,75],"reflections,":[61],"identities":[70,92,211],"(without":[71],"embeddings)":[73],"satisfied":[74,93],"polymorphisms":[77],"clone,":[78],"together":[79],"with":[80,126],"natural":[82],"uniformity":[83],"on":[84],"it,":[85],"being":[86],"nontrivial.":[87],"We":[88,123,175],"prove":[89,177],"in":[94,146,237],"allow":[101],"conclusions":[103],"about":[104],"orbit":[106],"growth":[107],"automorphism":[110],"group,":[111],"and":[112,207,225,234],"apply":[113],"this":[114,125],"show":[116,155],"are":[121],"equivalent.":[122],"contrast":[124],"counterexample":[128],"showing":[129],"[Formula:":[131,248],"see":[132,249],"text]-categoricity":[133],"alone":[134],"insufficient":[136],"imply":[138],"equivalence":[140,171],"conditions":[144],"above":[145],"core.":[149,258],"Taking":[150],"another":[151],"approach,":[152],"we":[153,230],"then":[154,176],"how":[156],"Ramsey":[158],"property":[159],"can":[164,197],"be":[165,198],"utilized":[166],"obtaining":[168],"similar":[170],"under":[172],"different":[173],"conditions.":[174],"any":[179],"sufficiently":[182],"large":[183],"arity":[184],"which":[185],"totally":[187],"symmetric":[188],"embeddings":[191],"turned":[199],"into":[200],"system":[203],"identities,":[206],"obtain":[208],"all":[213],"tractable":[214],"cases":[215],"rational":[220],"order,":[221],"random":[223,227],"graph,":[224],"poset.":[228],"Finally,":[229],"provide":[231],"new":[233],"short":[235],"proof,":[236],"language":[239],"monoids,":[241],"theorem":[244],"stating":[245],"every":[247],"text]-categorical":[250],"homomorphically":[253]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":7},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":3},{"year":2016,"cited_by_count":2}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}