# 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: | ||

Trace: