INVESTIGADORES
SAN MARTIN Hernan Javier
artículos
Título:
On the variety of Heyting algebras with successor generated by all finite chains
Autor/es:
CASTIGLIONI JOSÉ LUIS ; SAN MARTÍN HERNÁN JAVIER
Revista:
REPORTS ON MATHEMATICAL LOGIC
Editorial:
Jagiellonian University
Referencias:
Lugar: KRAKOW; Año: 2010 p. 225 - 248
ISSN:
0137-2904
Resumen:
In this work with study some particular subvarieties of the variety of Heyting algebras with successor using the representation theory given in [1] for these algebras. In particular we characterize subalgebras of a finite Heyting algebra with successor by means of their Priestley spaces. We also despicted the spaces associated to the free algebras in various subvarieties. Reference [1] Castiglioni J.L., Sagastume M. and San Martín H.J. On frontal Heyting algebras. Reports on Mathematical Logic, 45, pp. 201-224, 2010.
