加载中…
We find a logic really stronger than first order for the random graph with edge probability but satisfies the 0-1 law. This means that on the one hand it satisfies the 0-1 law, e.g. for the random graph ${\mathcal G}{n,1/2}\varphi(x)$ such that for no first order do we have: for every random enough ${\mathcal G}{n,1/2}\varphi(x),\psi(x)$ equivalent in it.

生成讲解博客的中文版本

生成AI智能校验的中文版本