Gödel algebras free over finite distributive lattices

Annals of Pure and Applied Logic 155 (3):183-193 (2008)

Abstract

Gödel algebras form the locally finite variety of Heyting algebras satisfying the prelinearity axiom =. In 1969, Horn proved that a Heyting algebra is a Gödel algebra if and only if its set of prime filters partially ordered by reverse inclusion–i.e. its prime spectrum–is a forest. Our main result characterizes Gödel algebras that are free over some finite distributive lattice by an intrisic property of their spectral forest

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,722

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2013-12-26

Downloads
8 (#1,014,445)

6 months
2 (#258,871)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Free L-Algebras.Alfred Horn - 1969 - Journal of Symbolic Logic 34 (3):475-480.

Add more references

Citations of this work

Add more citations

Similar books and articles

Free Q-Distributive Lattices.Roberto Cignoli - 1996 - Studia Logica 56 (1-2):23 - 29.
Free Modal Lattices Via Priestley Duality.Claudia B. Wegener - 2002 - Studia Logica 70 (3):339 - 352.
Free Spectra of Linear Equivalential Algebras.Katarzyna Slomczyńska - 2005 - Journal of Symbolic Logic 70 (4):1341 - 1358.
Infinite Substructure Lattices of Models of Peano Arithmetic.James H. Schmerl - 2010 - Journal of Symbolic Logic 75 (4):1366-1382.
Semi-Demorgan Algebras.David Hobby - 1996 - Studia Logica 56 (1-2):151 - 183.
Distributive Lattices with an Operator.Alejandro Petrovich - 1996 - Studia Logica 56 (1-2):205 - 224.
Decision Problem for Separated Distributive Lattices.Yuri Gurevich - 1983 - Journal of Symbolic Logic 48 (1):193-196.