Hrushovski 从头构造中对对称性的无差别性

记 Hrushovski 对 n 元关系的非坍缩从头构造为 $\mathcal{M}_{\not\sim}$，对对称 n 元关系的类似构造为 $\mathcal{M}_{\sim}$。我们证明 $\mathcal{M}_{\not\sim}$ 同构于 $\mathcal{M}_{\sim}$ 的一个真约化，反之亦然，并且与这两个结构相关联的组合预几何是同构的。