加载中…
Denote Hrushovski’s non-collapsed ab initio construction for an -ary relation by and the analogous construction for a symmetric -ary relation by . We show that is isomorphic to a proper reduct of and vice versa, and that the combinatorial pregeometries associated with both structures are isomorphic.

生成讲解博客的中文版本

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