Fagin对一阶逻辑的0-1律的发现

• 作者: 陆宏琨
• 来源期刊: 智库时代
• 关键词: 一阶逻辑 0-1律
• 年，卷（期）: 2020,（38）
• 页码范围: 258,286
• 页数: 2页
• 分类号: G633.6
• 语种: 中文

摘要

一阶逻辑的0-1律是有穷模型论的重要结果。1971年，Fagin首先使用迁移性质证明了一阶逻辑的0-1律，这一方法随后成为有穷模型论中的标准技术。本文解读了Fagin的原始文本，介绍这一定理是如何诞生于Fagin对谱问题的研究中的。