加载中…
By H. Strietz, 1975, and G. Cz'edli, 1996, the complete lattice of all equivalences is four-generated, provided the size is an accessible cardinal. Results of I. Chajda and G. Cz'edli, 1996, G. Tak'ach, 1996, T. Dolgos, 2015, and J.\ Kulin 2016, show that both the lattice of all quasiorders on and, for , the lattice of all transitive relations on have small generating sets. Based on complicated earlier constructions, we derive some new results in a concise but not self-contained way.

生成讲解博客的中文版本

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