拟宽类上的同态保持
摘要：有一类结构称为具有同态保持属性，如果在此类结构上保持同态的所有一阶公式都等价于存在性-正公式。Rossman的一个结果表明，有限结构具有此属性，而Atserias等人的先前工作表明其子类也具有此属性。我们通过引入准宽松类的概念并显示任何闭合于取子结构和不相交并的准宽松类都具有同态保持属性，扩展了后者的结果。我们特别展示了有界扩展和本地排除子结构的结构类别是准宽松的。我们还构造了一个有限结构类别的例子，该类别在子结构和不相交并的闭合性下不具有同态保持属性。
作者：Anuj Dawar
论文ID：0811.4497
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2009-03-08