FPL可能等同于FO，但不等同于PFP。

摘要：针对一类有限模型，我们想扩展每个模型（允许新元素，但旧宇宙是一个单独的排序），从而使得LFP（最小不动点逻辑）和PFP（归纳逻辑）的表达能力变得相似，而不改变FO（一阶逻辑）的表达能力。这在math.LO/9411235中继续进行。

作者：Saharon Shelah

论文ID：math/0404205

分类：Logic

分类简称：math.LO

提交时间：2007-05-23

PDF 下载： 英文版 中文版pdf翻译中