量词深度为4的FO逻辑谱是有限的
组合数学
2024-01-17 v5
摘要
-谱是所有满足如下条件的 的集合： 不满足量词深度至多为 的 FO 句子的 0-1 律。在本文中，我们证明使得 -谱为无限的极小 等于 5。
引用
@article{arxiv.2111.11470,
title = {Spectrum of FO logic with quantifier depth 4 is finite},
author = {Yury Yarovikov and Maksim Zhukovskii},
journal= {arXiv preprint arXiv:2111.11470},
year = {2024}
}