基于 FC 的 Ehrenfeucht-Fra"iss\'e 博弈的广义核心跨度器不可表达性
计算机科学中的逻辑
2023-06-29 v1 数据库
形式语言与自动机理论
摘要
尽管对文档跨度器已有大量研究，关于广义核心跨度器表达能力的认知仍很有限。本文利用 Ehrenfeucht-Fra"iss\'e 博弈获得逻辑 FC（连接理论的一种有限模型变体）的一般不可表达性引理。应用这些引理给出了 FC 的不可表达性结果，并将其提升到广义核心跨度器。特别地，我们给出了若干无法被广义核心跨度器选出的关系，从而证明了这些不可表达性引理的有效性。作为直接推论，我们也获得了对核心跨度器表达能力的新认识。
引用
@article{arxiv.2306.16364,
title = {Generalized Core Spanner Inexpressibility via Ehrenfeucht-Fra\"iss\'e Games for FC},
author = {Sam M. Thompson and Dominik D. Freydenberger},
journal= {arXiv preprint arXiv:2306.16364},
year = {2023}
}