An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction
We prove an algebraic preservation theorem for positive Horn definability in aleph-zero categorical structures. In particular, we define and study a construction which we call the periodic power of a structure, and define a periomorphism of a structure to be a homomorphism from the periodic power of...
| 發表在: | Logical Methods in Computer Science |
|---|---|
| Main Authors: | , |
| 格式: | Article |
| 語言: | 英语 |
| 出版: |
Logical Methods in Computer Science e.V.
2013-03-01
|
| 主題: | |
| 在線閱讀: | https://lmcs.episciences.org/1009/pdf |
| _version_ | 1850280871585644544 |
|---|---|
| author | Hubie Chen Moritz Müller |
| author_facet | Hubie Chen Moritz Müller |
| author_sort | Hubie Chen |
| collection | DOAJ |
| container_title | Logical Methods in Computer Science |
| description | We prove an algebraic preservation theorem for positive Horn definability in
aleph-zero categorical structures. In particular, we define and study a
construction which we call the periodic power of a structure, and define a
periomorphism of a structure to be a homomorphism from the periodic power of
the structure to the structure itself. Our preservation theorem states that,
over an aleph-zero categorical structure, a relation is positive Horn definable
if and only if it is preserved by all periomorphisms of the structure. We give
applications of this theorem, including a new proof of the known complexity
classification of quantified constraint satisfaction on equality templates. |
| format | Article |
| id | doaj-art-cd110684afc545eaa1fe2d55d9ce4d7c |
| institution | Directory of Open Access Journals |
| issn | 1860-5974 |
| language | English |
| publishDate | 2013-03-01 |
| publisher | Logical Methods in Computer Science e.V. |
| record_format | Article |
| spelling | doaj-art-cd110684afc545eaa1fe2d55d9ce4d7c2025-08-19T23:39:07ZengLogical Methods in Computer Science e.V.Logical Methods in Computer Science1860-59742013-03-01Volume 9, Issue 110.2168/LMCS-9(1:15)20131009An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint SatisfactionHubie ChenMoritz MüllerWe prove an algebraic preservation theorem for positive Horn definability in aleph-zero categorical structures. In particular, we define and study a construction which we call the periodic power of a structure, and define a periomorphism of a structure to be a homomorphism from the periodic power of the structure to the structure itself. Our preservation theorem states that, over an aleph-zero categorical structure, a relation is positive Horn definable if and only if it is preserved by all periomorphisms of the structure. We give applications of this theorem, including a new proof of the known complexity classification of quantified constraint satisfaction on equality templates.https://lmcs.episciences.org/1009/pdfcomputer science - logic in computer sciencecomputer science - computational complexitymathematics - logic |
| spellingShingle | Hubie Chen Moritz Müller An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction computer science - logic in computer science computer science - computational complexity mathematics - logic |
| title | An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction |
| title_full | An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction |
| title_fullStr | An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction |
| title_full_unstemmed | An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction |
| title_short | An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction |
| title_sort | algebraic preservation theorem for aleph zero categorical quantified constraint satisfaction |
| topic | computer science - logic in computer science computer science - computational complexity mathematics - logic |
| url | https://lmcs.episciences.org/1009/pdf |
| work_keys_str_mv | AT hubiechen analgebraicpreservationtheoremforalephzerocategoricalquantifiedconstraintsatisfaction AT moritzmuller analgebraicpreservationtheoremforalephzerocategoricalquantifiedconstraintsatisfaction AT hubiechen algebraicpreservationtheoremforalephzerocategoricalquantifiedconstraintsatisfaction AT moritzmuller algebraicpreservationtheoremforalephzerocategoricalquantifiedconstraintsatisfaction |