有界度类上的后继不变一阶逻辑
计算机科学中的逻辑
2023-06-22 v4
摘要
我们研究后继不变一阶逻辑的表达能力，它是一阶逻辑的扩展，允许使用结构上的附加后继关系，只要公式的有效性独立于有限结构上特定后继的选择。我们表明，当度有界时，后继不变一阶逻辑并不比一阶逻辑更具表达力。
引用
@article{arxiv.2009.11758,
title = {Successor-Invariant First-Order Logic on Classes of Bounded Degree},
author = {Julien Grange},
journal= {arXiv preprint arXiv:2009.11758},
year = {2023}
}