递归逻辑框架
摘要：递归逻辑框架的定义与抽象逻辑的概念相结合，加入了语法和公理系统的概念。在递归逻辑框架中，语法和公理的集合被递归编码。如果每个递归且有限一致的理论都存在一个模型，那么递归逻辑框架被称为递归（可数）紧致。我们表明，对于由基数量词“存在至少lambda”构建的逻辑框架，递归紧致性总是意味着可数紧致性。另一方面，我们表明，一个递归紧致的扩展不一定是可数紧致的。
作者：Saharon Shelah and Jouko V"a"an"anen
论文ID：math/0405016
分类：Logic
分类简称：math.LO
提交时间：2007-05-23