Heyting Algebras Whose Congruence Lattices Are Boolean

被引：0

作者：

Shen, Xia-Mei ^{[1
]}

机构：

[1] Ningde Normal Univ, Dept Math, Fujian Ningde 352100, Peoples R China

来源：

SOUTHEAST ASIAN BULLETIN OF MATHEMATICS | 2015年 / 39卷 / 05期

关键词：

Heyting algebra; Congruence lattice; Dual isomorphism;

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

In this note, we give a description of Heyting algebras whose congruence lattices are Boolean. We show that a Heyting algebra L has the Boolean congruence lattice if and only if L is Boolean and every filter of L has the smallest element, which is the case if and only if L is Boolean with Con L similar or equal to(d) L (dually isomorphism).

引用

页码：705 / 710

页数：6

共 50 条

[1] ALGEBRAS WITH BOOLEAN AND STONEAN CONGRUENCE LATTICES
KATRINAK, T
ELASSAR, S
[J]. ACTA MATHEMATICA HUNGARICA, 1986, 48 (3-4) : 301 - 316
[2] ALGEBRAS WHOSE CONGRUENCE LATTICES ARE DISTRIBUTIVE
JONSSON, B
[J]. MATHEMATICA SCANDINAVICA, 1967, 21 (01) : 110 - &
[3] Partial algebras and complexity of satisfiability and universal theory for distributive lattices, boolean algebras and Heyting algebras
van Alten, C. J.
[J]. THEORETICAL COMPUTER SCIENCE, 2013, 501 : 82 - 92
[4] DISTRIBUTIVE DOUBLE PARA-ALGEBRAS WHOSE CONGRUENCE LATTICES ARE CHAINS
GOLDBERG, MS
[J]. ALGEBRA UNIVERSALIS, 1983, 17 (02) : 208 - 215
[5] SEMIGROUPS WITH BOOLEAN CONGRUENCE LATTICES
AUINGER, K
[J]. MONATSHEFTE FUR MATHEMATIK, 1987, 104 (01): : 1 - 15
[6] HEYTING ALGEBRAS, TOPOLOGICAL BOOLEAN-ALGEBRAS AND PO SYSTEMS
TOURAILLE, A
[J]. ALGEBRA UNIVERSALIS, 1987, 24 (1-2) : 21 - 31
[7] ON ALGEBRAS WHOSE FACTOR ALGEBRAS ARE BOOLEAN
TARSKI, A
FELL, JMG
[J]. BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1950, 56 (04) : 367 - 367
[8] Effective categoricity for distributive lattices and Heyting algebras
Bazhenov N.A.
[J]. Lobachevskii Journal of Mathematics, 2017, 38 (4) : 600 - 614
[9] Bitopological duality for distributive lattices and Heyting algebras
Bezhanishvili, Guram
Bezhanishvili, Nick
Gabelaia, David
Kurz, Alexander
[J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2010, 20 (03) : 359 - 393
[10] Order affine completeness of lattices with Boolean congruence lattices
Kaarli, Kalle
Kuchmei, Vladimir
[J]. CZECHOSLOVAK MATHEMATICAL JOURNAL, 2007, 57 (04) : 1049 - 1065

← 1 2 3 4 5 →