Congruence lattice problem: Difference between revisions

Revision as of 17:04, 8 July 2007

Revision as of 06:43, 25 July 2007

Line 146:

'''Theorem (Bulman-Fleming and McDowell 1978).'''

Every distributive (∨,0)-semilattice is a direct limit of finite [[Boolean algebra (structure)|Boolean]] (∨,0)-semilattices and (∨,0)-homomorphisms.

<br /><br />