Finite model property for the variety of Heyting algebras with successor

J.L. CASTIGLIONI; H.J. SAN MARTÍN

REVISTA DE LA UNIóN MATEMáTICA ARGENTINA

UNION MATEMATICA ARGENTINA

Lugar: Bahia Blanca; Año: 2012 vol. 53 p. 91 - 96

0041-6932

Abstract. The nite model property of the variety of S-algebras was proved by X. Caicedo using Kripke model techniques of the associated calculus. A more algebraic proof, but still strongly based on Kripke model ideas, was given by Muravitskii. In this article we give a purely algebraic proof for the nite model property which is strongly based on the fact that for every element x in a S-algebra the interval [x; S(x)] is a boolean lattice.The nite model property of the variety of S-algebras was proved by X. Caicedo using Kripke model techniques of the associated calculus. A more algebraic proof, but still strongly based on Kripke model ideas, was given by Muravitskii. In this article we give a purely algebraic proof for the nite model property which is strongly based on the fact that for every element x in a S-algebra the interval [x; S(x)] is a boolean lattice.