|
\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 |
|
\Large Peirce algebras \quad\href{http://math.chapman.edu/cgi-bin/structures?action=edit;id=Peirce_algebras}{edit} |
|
\abbreviation{Abbr} |
|
\abbreviation{PeirceA} |
|
A ... is a structure $\mathbf{A}=\langle A,...\rangle$ of type $\langle ...\rangle$ such that |
|
A Peirce algebra is a 2-sorted structure $\mathbf{A}=\langle \mathbf R,\mathbf B,^c\rangle$ such that |
|
$\langle A,...\rangle$ is a \href{Name_of_class.pdf}{name of class} |
|
$\mathbf R=\langle R,\vee,0,\wedge,1,\neg,\circ,^\smile,e\rangle$ is a \href{Relation_algebras.pdf}{relation algebra} |
|
$op_1$ is (name of property): $axiom_1$ |
|
$\mathbf B=\langle B,\vee,0,\wedge,1,\neg,f_r\ (r\in R)\rangle$ is a \href{Boolean_modules_over_a_relation_algebra.pdf}{Boolean module over $\mathbf R$} |
|
$op_2$ is ...: $...$ |
|
$^c:B\to R$ is cylindrification: $f_{x^c}(1)=x$ and $f_r(1)^c=f_r(1)$ |
![[Home]](/structures.gif)