Differences

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

goedel_algebras [2017/02/12 07:26]
jipsen
goedel_algebras [2017/02/12 07:27] (current)
jipsen
Line 9: Line 9:
Remark: Remark:
-Gödel algebras are also called \emph{linear Heyting algebras} since subdirectly irreducible G\"odel algebras are linearly ordered Heyting algebras.+Gödel algebras are also called \emph{linear Heyting algebras} since subdirectly irreducible Gödel algebras are linearly ordered Heyting algebras.
====Definition==== ====Definition====
Line 17: Line 17:
==Morphisms== ==Morphisms==
-Let $\mathbf{A}$ and $\mathbf{B}$ be G\"odel algebras. A morphism from $\mathbf{A}$ to $\mathbf{B}$ is a function $h:A\rightarrow B$ that is a+Let $\mathbf{A}$ and $\mathbf{B}$ be Gödel algebras. A morphism from $\mathbf{A}$ to $\mathbf{B}$ is a function $h:A\rightarrow B$ that is a
homomorphism: homomorphism: