Differences

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

boolean_algebras [2010/09/04 16:55]
jipsen delete hyperbaseurl
boolean_algebras [2010/09/04 17:13] (current)
jipsen
Line 30: Line 30:
==Morphisms== ==Morphisms==
-Let $\mathbf{A}$ and $\mathbf{B}$ be Boolean algebras. A morphism from $\mathbf{A}$ to $\mathbf{B}$ is a function $h:Aarrow B$ that is a homomorphism: +Let $\mathbf{A}$ and $\mathbf{B}$ be Boolean algebras. A morphism from $\mathbf{A}$ to $\mathbf{B}$ is a function $h:A\to B$ that is a homomorphism:
$h(x\vee y)=h(x)\vee h(y)$, $h(-x)=-h(x)$ $h(x\vee y)=h(x)\vee h(y)$, $h(-x)=-h(x)$
Line 51: Line 51:
====Definition==== ====Definition====
A \emph{Boolean algebra} is a [[Heyting algebra]] $\mathbf{A}=\langle A \emph{Boolean algebra} is a [[Heyting algebra]] $\mathbf{A}=\langle
-A,\vee ,0,\wedge ,1,arrow \rangle $ such that+A,\vee ,0,\wedge ,1,\to\rangle $ such that
-$xarrow 0$ is an involution:  $( xarrow 0) arrow 0=x$+$\to 0$ is an involution:  $(x\to 0)\to 0=x$
====Examples==== ====Examples====
Line 94: Line 94:
[[Complete Boolean algebras]] [[Complete Boolean algebras]]
 +
====Superclasses==== ====Superclasses====
Line 105: Line 106:
====References==== ====References====
-[(Ln19xx> 
-)]