The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems

We prove that an ω-categorical core structure primitively positively interprets all finite structures with parameters if and only if some stabilizer of its polymorphism clone has a homomorphism to the clone of projections, and that this happens if and only if its polymorphism clone does not contain...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science s. 615 - 622
Hlavní autoři:	Barto, Libor, Pinsker, Michael
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 05.07.2016
Edice:	ACM Conferences
Témata:	Theory of computation > Logic Theory of computation > Models of computation > Computability continuous clone homomorphism dichotomy conjecture homogeneous structure term condition stabilizer constraint satisfaction problem polymorphism clone ω-categorical structure
ISBN:	9781450343916, 1450343910
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!