Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra

Studia Logica 41 (4):415 - 428 (1982)

Abstract

In classes of algebras such as lattices, groups, and rings, there are finite algebras which individually generate quasivarieties which are not finitely axiomatizable (see [2], [3], [8]). We show here that this kind of algebras also exist in Heyting algebras as well as in topological Boolean algebras. Moreover, we show that the lattice join of two finitely axiomatizable quasivarieties, each generated by a finite Heyting or topological Boolean algebra, respectively, need not be finitely axiomatizable. Finally, we solve problem 4 asked in Rautenberg [10]

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,660

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2013-09-30

Downloads
4 (#1,286,940)

6 months
1 (#388,311)

Historical graph of downloads
How can I increase my downloads?

Similar books and articles

References found in this work

No references found.

Add more references

Citations of this work

Filtered Subdirect Products.Janusz Czelakowski - 1996 - Bulletin of the Section of Logic 24:92-96.

Add more citations