A characterization of Stone and linear Heyting algebras

Alejandro Petrovich ^[1] ; Carlos Scirica ^[2]
1. [1] Universidad de Buenos Aires
  
  Universidad de Buenos Aires
  
  Argentina
2. [2] Universidad Nacional de San Martín
  
  Universidad Nacional de San Martín
  
  Tarapoto, Perú
Localización: Revista de la Unión Matemática Argentina, ISSN 0041-6932, ISSN-e 1669-9637, Vol. 63, Nº. 1, 2022, págs. 129-136
Idioma: inglés
Enlaces
- Texto completo
Resumen
- An important problem in the variety of Heyting algebras H is to find new characterizations which allow us to determinate if a given H ∈ H is linear or Stone. In this work we present two Heyting algebras, Hns and Hsnl , such that: (a) a Heyting algebra H is a Stone–Heyting algebra if and only if Hns cannot be embedded in H, and (b) H is a linear Heyting algebra if and only if neither Hns nor Hsnl can be embedded in H.