摘要：在有限变量的一阶逻辑的碎片中，我们展示了一种限制或修改，其中Craig的内插定理的一种弱形式成立，但这个定理的强形式不成立。将这些结果转化为代数逻辑，我们得到了一个有限维可表示圆柱代数的可有限公理化的子变种，该变种具有强合并性质，但不具有超级合并性质。这解决了Pigozzi的一个猜想。
作者：Gabor Sagi and Saharon Shelah
论文ID：math/0612244
分类：Logic
分类简称：math.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中