Cores of Countably Categorical Structures
Abstract
A relational structure is a core, if all its endomorphisms are embeddings. This notion is important for computational complexity classification of constraint satisfaction problems. It is a fundamental fact that every finite structure has a core, i.e., has an endomorphism such that the structure induced by its image is a core; moreover, the core is unique up to isomorphism. Weprove that every \omega -categorical structure has a core. Moreover, every \omega-categorical structure is homomorphically equivalent to a model-complete core, which is unique up to isomorphism, and which is finite or \omega -categorical. We discuss consequences for constraint satisfaction with \omega -categorical templates.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2006
- DOI:
- 10.48550/arXiv.cs/0612069
- arXiv:
- arXiv:cs/0612069
- Bibcode:
- 2006cs.......12069B
- Keywords:
-
- Computer Science - Logic in Computer Science;
- F.4.1
- E-Print:
- Logical Methods in Computer Science, Volume 3, Issue 1 (January 25, 2007) lmcs:2224