Revision as of 06:43, 25 July 2007 edit Trovatore (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers 39,123 edits dab ba ← Previous edit		Revision as of 03:26, 16 November 2007 edit undo Hans Adler (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers, Rollbackers 26,943 edits No edit summary Next edit →
Line 74: '''Theorem.''' The functor Con<sub>c</sub>, defined on all algebras of a given [[~~Signature_%28universal_algebra%29~~signature_(mathematical logic)\|signature]], to all (&or;,0)-semilattices, [[Limit (category theory)\|preserves direct limits]].<br /><br /> == Schmidt's approach via distributive join-homomorphisms ==

Congruence lattice problem: Difference between revisions