论文标题
着色均匀结构
Colouring homogeneous structures
论文作者
论文摘要
如果将一组元素的每个分区分为两个部分,则关系结构是不可分割的,将结构嵌入到分区的一个部分中。如果将有限的诱导子结构嵌入到有限的诱导子结构中的每一个嵌入到自动形态上,则关系结构是同质的。本文为Henson类型建立了必要且充分的条件,请参见[4],均匀的结构是不可分割的。
A relational structure is indivisible if for every partition of its set of elements into two parts there exists an embedding of the structure into one of the parts of the partition. A relational structure is homogeneous if every embedding of a finite induced substructure to a finite induced substructure extends to an automorphism. This article establishes a necessary and sufficient condition for Henson type, see [4], homogeneous structures to be indivisible.