Quasiorder lattices are five-generated
A quasiorder (relation), also known as a preorder, is a reflexive and transitive relation. The quasiorders on a set A form a complete lattice with respect to set inclusion. Assume that A is a set such that there is no inaccessible cardinal less than or equal to |A|; note that in Kuratowski's model of ZFC, all sets A satisfy this assumption. Generalizing the 1996 result of Ivan Chajda and Gábor Czéedli, also Tamás Dolgos' recent achievement, we prove that in this case the lattice of quasiorders on...