Differences

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

stone_algebras [2010/07/29 15:46]
127.0.0.1 external edit
stone_algebras [2019/11/30 12:19] (current)
pnotthesamejipsen
Line 3: Line 3:
Abbreviation: **StAlg** Abbreviation: **StAlg**
====Definition==== ====Definition====
-A \emph{Stone algebra} is a [[distributive p-algebras]] $\mathbf{L}=\langle L,\vee ,0,\wedge ,1,^*\rangle $ such that+A \emph{Stone algebra} is a [[distributive p-algebra]] $\mathbf{L}=\langle L,\vee ,0,\wedge ,1,^*\rangle $ such that
$(x^*)^*\vee x^* =1$, $0^*=1$ $(x^*)^*\vee x^* =1$, $0^*=1$
Line 41: Line 41:
f(2)= &1\\ f(2)= &1\\
f(3)= &1\\ f(3)= &1\\
-f(4)= &\\ +f(4)= &2\\ 
-f(5)= &\\ +f(5)= &2\\ 
-f(6)= &\\ +f(6)= &4\\ 
-f(7)= &\\+f(7)= &5\\ 
 +f(8)= &10\\ 
 +f(9)= &16\\ 
 +f(10)= &28\\
\end{array}$ \end{array}$