组合有限特性：有限模型与忙碌的比伯
摘要：理论组合中使用的属性之间的关系是我们持续努力理解的一个部分。在这里，我们着重考虑两个与发光理论相关的属性：有限模型属性和稳定有限性。对于任何属性的组合，我们考虑是否存在一个展示它的理论。当存在时，我们提供一个具有最简单签名的示例。一个特别感兴趣的类别包括具有有限模型属性但无法有限证明的理论。为了构造这样的理论，我们利用繁忙海狸函数。
作者：Guilherme Toledo and Yoni Zohar and Clark Barrett
论文ID：2307.07885
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-07-18