有限组合性质的结合：有限模型与忙碌海狸
计算机科学中的逻辑
2023-07-18 v1
摘要
本工作是理解理论组合中所用性质之间关系的持续努力的一部分。我们在此聚焦于纳入与shiny理论相关的两个性质：有限模型性质与稳定有限性。对于任意性质组合，我们考虑是否存在展现该组合的理论。当存在时，我们给出具有最简可能签名的示例。一个特别令人关注的类别包含具有有限模型性质但非有限可见证的理论。为构造此类理论，我们利用了忙碌海狸(Busy Beaver)函数。
引用
@article{arxiv.2307.07885,
title = {Combining Finite Combination Properties: Finite Models and Busy Beavers},
author = {Guilherme Toledo and Yoni Zohar and Clark Barrett},
journal= {arXiv preprint arXiv:2307.07885},
year = {2023}
}