Mathematical Structures: History of Multiplicative lattices

# History of Multiplicative lattices

 Revision 2 . . July 29, 2004 12:30 pm by Jipsen Revision 1 . . July 9, 2004 10:22 am by Jipsen

Difference (from prior major revision) (no other diffs)

Changed: 28,30c28,29
 \Large Name of class \quad\href{http://math.chapman.edu/cgi-bin/structures?action=edit;id=Template}{edit} % Note: replace "Template" with Name_of_class in previous line

Changed: 32c31
 \abbreviation{Abbr}
 \abbreviation{MultLat}

Changed: 35,38c34
 A ... is a structure $\mathbf{A}=\langle A,...\rangle$ of type $\langle ...\rangle$ such that $\langle A,...\rangle$ is a \href{Name_of_class.pdf}{name of class}
 A multiplicative lattice (or $m$-lattice) is a structure $\mathbf{A}=\langle A,\vee,\wedge,\cdot\rangle$ of type $\langle 2,2,2\rangle$ such that

Changed: 40c36
 $op_1$ is (name of property): $axiom_1$
 $\langle A,\vee,\wedge\rangle$ is a \href{Lattices.pdf}{lattice}

Changed: 42c38
 $op_2$ is ...: $...$
 $\cdot$ distributes over $\vee$: $x(y\vee z)=xy\vee xz$, $(x\vee y)z=xz\vee yz$

Changed: 78c74
 Classtype & (value, see description) \cite{Ln19xx} \\\hline
 Classtype & variety \\\hline

Changed: 84,85c80,81
 Congruence distributive & \\\hline Congruence modular & \\\hline
 Congruence distributive & yes\\\hline Congruence modular & yes\\\hline

Changed: 120,122c116
 \href{....pdf}{...} subvariety \href{....pdf}{...} expansion
 \href{Lattice-ordered_semigroups.pdf}{Lattice-ordered semigroups}

Changed: 128c122
 \href{....pdf}{...} supervariety
 \href{Lattices.pdf}{Lattices} reduced type

Changed: 130c124
 \href{....pdf}{...} subreduct
 \href{Multiplicative_semilattices.pdf}{Multiplicative semilattices} reduced type

Changed: 136c130
 \bibitem{Ln19xx}
 \bibitem{Lastname19xx}