A model-theoretic characterisation of clique width

被引：7
|
作者：
Blumensath, Achim [1 ]
机构：
[1] Tech Univ Darmstadt, Fachbereich Math, D-64289 Darmstadt, Germany
来源：
ANNALS OF PURE AND APPLIED LOGIC | 2006年 / 142卷 / 1-3期
关键词：
clique width; monadic second-order logic; model theory;
D O I：
10.1016/j.apal.2006.02.004
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
We generalise the concept of clique width to structures of arbitrary signature and cardinality. We present characterisations of clique width in terms of decompositions of a structure and via interpretations in trees. Several model-theoretic properties of clique width are investigated including VC-dimension and preservation of finite clique width under elementary extensions and compactness. (c) 2006 Elsevier B.V. All rights reserved.
引用
收藏
页码：321 / 350
页数：30
相关论文
共 50 条
12345