论文标题
随机组中的一阶句子II：$ \ forall \存在$ sensences
First-order sentences in random groups II: $\forall\exists$-sentences
论文作者
论文摘要
我们证明，在格罗莫夫（Gromov）的密度模型中，一个随机组的$ d <1/16 $可以满足压倒性的概率，而当且仅当$σ$在非阿布尔自由组中是正确的时，当$σ$是正确的时，一个通用的一阶句子$σ$（以组的语言为组）。
We prove that a random group, in Gromov's density model with $d < 1/16$ satisfies with overwhelming probability a universal-existential first-order sentence $σ$ (in the language of groups) if and only if $σ$ is true in a nonabelian free group.
