CORES OF COUNTABLY CATEGORICAL STRUCTURES

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., an endomorphism such that the structure induced by its image is a core; moreover, the core is unique up to isomorphism. We prove 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.