Differences

This shows you the differences between two versions of the page.

ortholattices [2010/08/01 16:48]
jipsen
ortholattices [2010/12/15 21:58] (current)
jipsen
Line 42: Line 42:
^[[Definable principal congruences]]  |no | ^[[Definable principal congruences]]  |no |
^[[Equationally def. pr. cong.]]  |no | ^[[Equationally def. pr. cong.]]  |no |
-^[[Amalgamation property]]  | | +^[[Amalgamation property]]  | Yes
-^[[Strong amalgamation property]]  | |+^[[Strong amalgamation property]]  | Yes [(BrunsHarding1997)] |
^[[Epimorphisms are surjective]]  | | ^[[Epimorphisms are surjective]]  | |
-====Finite members==== 
-$\begin{array}{lr} +====Finite members====
-f(1)= &1\\ +
-f(2)= &1\\ +
-f(3)= &\\ +
-f(4)= &1\\ +
-f(5)= &\\ +
-f(6)= &\\ +
-f(7)= &\\ +
-\end{array}$+
 +^$n$       | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 |
 +^# of algs | 1 | 1 | 0 | 1 | 0 | 2 | 0 | 5 | 0 | 15 |  0 |    |  0 |    |  0 |    |  0 |    |  0 |    |  0 |    |  0 |    |  0 |
 +^# of si's | 0 | 1 | 0 | 0 | 0 | 2 | 0 | 3 | 0 | 11 |  0 |    |  0 |    |  0 |    |  0 |    |  0 |    |  0 |    |  0 |    |  0 |
====Subclasses==== ====Subclasses====
Line 68: Line 62:
====References==== ====References====
-[(Ln19xx+[(BrunsHarding1997
-)]+G. Bruns and J. Harding, \emph{Amalgamation of ortholattices}, Order 14 (1997/98), no. 3, 193–209 
 +[[http://www.ams.org/mathscinet-getitem?mr=99f:06014|MRreview]])]