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].
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00403339
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 33,657
Through your library

References found in this work BETA

The Mathematics of Metamathematics.Helena Rasiowa - 1963 - Warszawa, Państwowe Wydawn. Naukowe.
2-Element Matrices.Wolfgang Rautenberg - 1981 - Studia Logica 40 (4):315 - 353.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total downloads
26 ( #228,953 of 2,261,194 )

Recent downloads (6 months)
1 ( #389,246 of 2,261,194 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature