Free algebras and coproducts in varieties of Gödel algebras

Luca Carai

Gödel algebras are the Heyting algebras satisfying the axiom $(x\to y)\vee (y\to x)=1$. We utilize Priestley and Esakia dualities to dually describe free Gödel algebras and co…