Matches in SemOpenAlex for { <https://semopenalex.org/work/W2564015517> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2564015517 abstract "There exist two conjectures for constraint satisfaction problems (CSPs) of reducts of finitely bounded homogeneous structures: the first one states that tractability of the CSP of such a structure is, when the structure is a model-complete core, equivalent to its polymorphism clone satisfying a certain non-trivial linear identity modulo outer embeddings. The second conjecture, challenging the approach via model-complete cores by reflections, states that tractability is equivalent to the linear identities (without outer embeddings) satisfied by its polymorphisms clone, together with the natural uniformity on it, being non-trivial. We prove that the identities satisfied in the polymorphism clone of a structure allow for conclusions about the orbit growth of its automorphism group, and apply this to show that the two conjectures are equivalent. We contrast this with a counterexample showing that $omega$-categoricity alone is insufficient to imply the equivalence of the two conditions above in a model-complete core. Taking a different approach, we then show how the Ramsey property of a homogeneous structure can be utilized for obtaining a similar equivalence under different conditions. We then prove that any polymorphism of sufficiently large arity which is totally symmetric modulo outer embeddings of a finitely bounded structure can be turned into a non-trivial system of linear identities, and obtain non-trivial linear identities for all tractable cases of reducts of the rational order, the random graph, and the random poset. Finally, we provide a new and short proof, in the language of monoids, of the theorem stating that every $omega$-categorical structure is homomorphically equivalent to a model-complete core." @default.
- W2564015517 created "2017-01-06" @default.
- W2564015517 creator A5028924645 @default.
- W2564015517 creator A5063365809 @default.
- W2564015517 creator A5070658141 @default.
- W2564015517 creator A5071004419 @default.
- W2564015517 creator A5075891344 @default.
- W2564015517 date "2016-12-22" @default.
- W2564015517 modified "2023-10-03" @default.
- W2564015517 title "Equations in oligomorphic clones and the Constraint Satisfaction Problem for $omega$-categorical structures" @default.
- W2564015517 cites W1556189547 @default.
- W2564015517 cites W1561798411 @default.
- W2564015517 cites W1601269853 @default.
- W2564015517 cites W1863800201 @default.
- W2564015517 cites W1967190838 @default.
- W2564015517 cites W1968276645 @default.
- W2564015517 cites W2058971493 @default.
- W2564015517 cites W2087215337 @default.
- W2564015517 cites W2100984870 @default.
- W2564015517 cites W2114330543 @default.
- W2564015517 cites W2150339067 @default.
- W2564015517 cites W2158012017 @default.
- W2564015517 cites W2237209944 @default.
- W2564015517 cites W2243954424 @default.
- W2564015517 cites W2271628119 @default.
- W2564015517 cites W2541597401 @default.
- W2564015517 cites W2952530118 @default.
- W2564015517 cites W2963269037 @default.
- W2564015517 cites W2964172190 @default.
- W2564015517 cites W3104398743 @default.
- W2564015517 cites W417925666 @default.
- W2564015517 cites W611585752 @default.
- W2564015517 hasPublicationYear "2016" @default.
- W2564015517 type Work @default.
- W2564015517 sameAs 2564015517 @default.
- W2564015517 citedByCount "4" @default.
- W2564015517 countsByYear W25640155172016 @default.
- W2564015517 countsByYear W25640155172018 @default.
- W2564015517 countsByYear W25640155172019 @default.
- W2564015517 crossrefType "posted-content" @default.
- W2564015517 hasAuthorship W2564015517A5028924645 @default.
- W2564015517 hasAuthorship W2564015517A5063365809 @default.
- W2564015517 hasAuthorship W2564015517A5070658141 @default.
- W2564015517 hasAuthorship W2564015517A5071004419 @default.
- W2564015517 hasAuthorship W2564015517A5075891344 @default.
- W2564015517 hasConcept C105795698 @default.
- W2564015517 hasConcept C114614502 @default.
- W2564015517 hasConcept C118615104 @default.
- W2564015517 hasConcept C132180345 @default.
- W2564015517 hasConcept C134306372 @default.
- W2564015517 hasConcept C137105694 @default.
- W2564015517 hasConcept C162838799 @default.
- W2564015517 hasConcept C180375552 @default.
- W2564015517 hasConcept C199622910 @default.
- W2564015517 hasConcept C2780990831 @default.
- W2564015517 hasConcept C33923547 @default.
- W2564015517 hasConcept C34388435 @default.
- W2564015517 hasConcept C49937458 @default.
- W2564015517 hasConcept C54732982 @default.
- W2564015517 hasConceptScore W2564015517C105795698 @default.
- W2564015517 hasConceptScore W2564015517C114614502 @default.
- W2564015517 hasConceptScore W2564015517C118615104 @default.
- W2564015517 hasConceptScore W2564015517C132180345 @default.
- W2564015517 hasConceptScore W2564015517C134306372 @default.
- W2564015517 hasConceptScore W2564015517C137105694 @default.
- W2564015517 hasConceptScore W2564015517C162838799 @default.
- W2564015517 hasConceptScore W2564015517C180375552 @default.
- W2564015517 hasConceptScore W2564015517C199622910 @default.
- W2564015517 hasConceptScore W2564015517C2780990831 @default.
- W2564015517 hasConceptScore W2564015517C33923547 @default.
- W2564015517 hasConceptScore W2564015517C34388435 @default.
- W2564015517 hasConceptScore W2564015517C49937458 @default.
- W2564015517 hasConceptScore W2564015517C54732982 @default.
- W2564015517 hasLocation W25640155171 @default.
- W2564015517 hasOpenAccess W2564015517 @default.
- W2564015517 hasPrimaryLocation W25640155171 @default.
- W2564015517 hasRelatedWork W1487199592 @default.
- W2564015517 hasRelatedWork W1510423293 @default.
- W2564015517 hasRelatedWork W1510636674 @default.
- W2564015517 hasRelatedWork W1626979325 @default.
- W2564015517 hasRelatedWork W2102459557 @default.
- W2564015517 hasRelatedWork W2155701916 @default.
- W2564015517 hasRelatedWork W2241854453 @default.
- W2564015517 hasRelatedWork W2255065807 @default.
- W2564015517 hasRelatedWork W2276690803 @default.
- W2564015517 hasRelatedWork W2593619415 @default.
- W2564015517 hasRelatedWork W2734514272 @default.
- W2564015517 hasRelatedWork W2743203358 @default.
- W2564015517 hasRelatedWork W2783073017 @default.
- W2564015517 hasRelatedWork W2962785950 @default.
- W2564015517 hasRelatedWork W2962936691 @default.
- W2564015517 hasRelatedWork W2963666051 @default.
- W2564015517 hasRelatedWork W2963768895 @default.
- W2564015517 hasRelatedWork W2996612016 @default.
- W2564015517 hasRelatedWork W3040916877 @default.
- W2564015517 hasRelatedWork W3105444484 @default.
- W2564015517 isParatext "false" @default.
- W2564015517 isRetracted "false" @default.
- W2564015517 magId "2564015517" @default.
- W2564015517 workType "article" @default.