稀疏随机图在强逻辑中 0-1 律的失效
逻辑
2017-06-06 v1
摘要
设 为无理数， 为边概率为 的随机图；我们知道它对一阶逻辑满足 0-1 律。我们处理的是更强逻辑中 0-1 律的失效：足够大的 对应的 ，以及 LFP，即最小不动点逻辑。
引用
@article{arxiv.1706.01226,
title = {Failure of 0-1 law for sparse random graph in strong logics},
author = {Saharon Shelah},
journal= {arXiv preprint arXiv:1706.01226},
year = {2017}
}