受保护二阶逻辑、生成树与网络流
计算机科学中的逻辑
2015-07-01 v2 离散数学
摘要
根据Courcelle的一个定理，在可数-稀疏超图类上，一元二阶逻辑与受保护二阶逻辑（可量化边集）具有相同的表达能力。本文第一部分将此结果推广到任意基数的超图。第二部分提出一种推广，涉及用单个顶点编码顶点集的方法。
引用
@article{arxiv.0910.3085,
title = {Guarded Second-Order Logic, Spanning Trees, and Network Flows},
author = {Achim Blumensath},
journal= {arXiv preprint arXiv:0910.3085},
year = {2015}
}