加载中…
For a finite lattice , -ultrametric spaces have, among other reasons, appeared as a means of constructing structures with lattices of equivalence relations embedding . This makes use of an isomorphism of categories between -ultrametric spaces and structures equipped with certain families of equivalence relations. We extend this isomorphism to the case of infinite lattices. We also pose questions about representing a given finite lattice as the lattice of -definable equivalence relations of structures with model-theoretic symmetry properties.

生成讲解博客的中文版本

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