论文信息 - A REGULAR COMPLETION FOR THE VARIETY GENERATED BY THE THREE-ELEMENT HEYTING ALGEBRA

A REGULAR COMPLETION FOR THE VARIETY GENERATED BY THE THREE-ELEMENT HEYTING ALGEBRA

We show that the variety generated by the three-element Heyting algebra admits a meet dense, regular completion even though it is not closed under MacNeille completions

John Harding | J. Harding

[1] Stanley Burris,et al. A course in universal algebra , 1981, Graduate texts in mathematics.

[2] George Grätzer,et al. Stone Lattices. II. Structure Theorems , 1969 .

[3] Gregory H. Moore. Zermelo’s Axiom of Choice , 1982 .

[4] Melvin F. Janowitz,et al. Boolean products of lattices , 1996 .

[5] R. Sikorski,et al. The mathematics of metamathematics , 1963 .

[6] Guram Bezhanishvili,et al. MACNEILLE COMPLETIONS OF MODAL ALGEBRAS , 2007 .

[7] C. C. Chen,et al. Stone Lattices. I: Construction Theorems , 1969, Canadian Journal of Mathematics.