Omega-项上的双变量 Ehrenfeucht-Fraïssé 博弈
计算机科学中的逻辑
2014-11-04 v1 形式语言与自动机理论
摘要
词上的一阶逻辑片段通常可以用有限幺半群来刻画，而 omega-项的恒等式是刻画幺半群类的一种有效机制。Huschenbett 与第一作者已展示了如何在线性序上使用无穷 Ehrenfeucht-Fraïssé 博弈来证明某个给定片段满足一个 omega-项恒等式（STACS 2014）。在重新审视这一结果后，我们证明对于双变量逻辑，可以使用更简单的线性序。
引用
@article{arxiv.1411.0593,
title = {Two-Variable Ehrenfeucht-Fraisse Games over Omega-Terms},
author = {Manfred Kufleitner and Jan Philipp Wächter},
journal= {arXiv preprint arXiv:1411.0593},
year = {2014}
}