Page 1

Displaying 1 – 5 of 5

Showing per page

Free trees and the optimal bound in Wehrung's theorem

Pavel Růžička (2008)

Fundamenta Mathematicae

We prove that there is a distributive (∨,0,1)-semilattice of size ℵ₂ such that there is no weakly distributive (∨,0)-homomorphism from C o n c A to with 1 in its range, for any algebra A with either a congruence-compatible structure of a (∨,1)-semi-lattice or a congruence-compatible structure of a lattice. In particular, is not isomorphic to the (∨,0)-semilattice of compact congruences of any lattice. This improves Wehrung’s solution of Dilworth’s Congruence Lattice Problem, by giving the best cardinality...

Currently displaying 1 – 5 of 5

Page 1