数论组合：自然密度与 SMT
计算机科学中的逻辑
2025-05-23 v1
摘要
满足模块理论（SMT）中的理论组合涉及各种模型论性质（如稳定无限性、光滑性等）。我们表明，这些性质可部分通过所研究理论谱的自然密度所捕获——即其有限模型大小集合。这一工作丰富了理论组合研究者的工具箱，提供了确定理论是否可组合的新方法，也揭示了理论组合与数论之间有趣且出人意料的联系。
引用
@article{arxiv.2505.16840,
title = {Number theory combination: natural density and SMT},
author = {Guilherme V. Toledo and Yoni Zohar},
journal= {arXiv preprint arXiv:2505.16840},
year = {2025}
}