有限 Hankel 秩的逻辑
逻辑
2015-12-09 v1
摘要
我们在有限结构的抽象模型论背景下讨论 Feferman-Vaught 定理。我们考察有限结构上的类和运算与类积运算及其 Hankel 矩阵。我们展示了 Hankel 矩阵与 Feferman-Vaught 定理之间的联系。已知满足类积运算的 Feferman-Vaught 定理的最大逻辑是 CFOL，即带模计数量词的一阶逻辑。对于类和运算，它是 CMSOL，即相应的单调二阶逻辑。我们讨论了是否存在满足有限结构 Feferman-Vaught 定理的极大逻辑。
引用
@article{arxiv.1512.02507,
title = {Logics of Finite Hankel Rank},
author = {Nadia Labai and Johann A. Makowsky},
journal= {arXiv preprint arXiv:1512.02507},
year = {2015}
}
备注
Appeared in YuriFest 2015, held in honor of Yuri Gurevich's 75th birthday. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-23534-9_14