Geodesic
Decidability of the Projective Beth Property in Varieties of Heyting Algebras
Algebra i logika, Tome 40 (2001) no. 3, pp. 290-301

Voir la notice de l'article provenant de la source Math-Net.Ru

Previously, we proved that there are only finitely many varieties of Heyting algebras possessing the projective Beth property and gave an exhaustive list of these. The projective Beth property is equivalent to strong epimorphisms surjectivity (SES). Here, we prove that the projective Beth property and SES are base-decidable on a class of varieties of Heyting algebras.
Keywords: variety of Heyting algebras, the projective Beth property, strong epimorphisms surjectivity. 
@article{AL_2001_40_3_a2,
     author = {L. L. Maksimova},
     title = {Decidability of the {Projective} {Beth} {Property} in {Varieties} of {Heyting} {Algebras}},
     journal = {Algebra i logika},
     pages = {290--301},
     publisher = {mathdoc},
     volume = {40},
     number = {3},
     year = {2001},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2001_40_3_a2/}
}
TY  - JOUR
AU  - L. L. Maksimova
TI  - Decidability of the Projective Beth Property in Varieties of Heyting Algebras
JO  - Algebra i logika
PY  - 2001
SP  - 290
EP  - 301
VL  - 40
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2001_40_3_a2/
LA  - ru
ID  - AL_2001_40_3_a2
ER  - 
%0 Journal Article
%A L. L. Maksimova
%T Decidability of the Projective Beth Property in Varieties of Heyting Algebras
%J Algebra i logika
%D 2001
%P 290-301
%V 40
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2001_40_3_a2/
%G ru
%F AL_2001_40_3_a2
L. L. Maksimova. Decidability of the Projective Beth Property in Varieties of Heyting Algebras. Algebra i logika, Tome 40 (2001) no. 3, pp. 290-301. http://geodesic.mathdoc.fr/item/AL_2001_40_3_a2/