加载中…
We prove that, for every Coxeter diagram with no rank residues of spherical type and such that has not only edges labelled by , the space of countable (Tits) buildings of type is Borel complete, that is, classifying countable buildings of type up to isomorphism is as hard as classifying countable graphs up to isomorphism. In particular, for every , the space of countable generalised -gons is Borel complete.

生成讲解博客的中文版本

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