序单项式理论中的随机图
逻辑
2016-09-07 v1
摘要
我们延续 Gurevich-Shelah 与 Lifsches-Shelah 的工作，证明了与 ZFC 相一致的是：随机图的一阶理论在所有链的单胞理论（monadic theory）中不可解释。由 ZFC 可证明：随机图的理论在短链的单胞二阶理论中（因而在实线的单胞理论中）不可解释。
引用
@article{arxiv.math/9701219,
title = {Random graphs in the monadic theory of order},
author = {Shmuel Lifsches and Saharon Shelah},
journal= {arXiv preprint arXiv:math/9701219},
year = {2016}
}