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].
Similar content being viewed by others
References
K. Baker, Finite equational bases for finite algebras in congruence-distributive equational classes, Advances in Mathematics 24 (1977), pp. 207–243.
V. P. Belkin, O quasitożdiestvach nieksatorych koniecznych algebr, Mathematiczeskije Zametki 22 (1977), pp. 335–338.
V. P. Belkin, Quasiżdiestva koniecznych koniec i reszetok, Algebra i Logika 17 (1978), pp. 247–259.
R. I. Goldblatt, Metamathematics of modal logic. Part II, Reports on Mathematical Logic 7 (1976), pp. 21–53.
G. Gratzer and H. Lakser, A note on the implicational class generated by a class of structures, Canadian Mathematical Bulletin 16 (1973), pp. 603–605.
D. H. J. de Jongh and A. S. Troelstra, On the connection of partially ordered sets with some pseudo-Boolean algebras, Indagationes Mathematicae 28 (1966), pp. 317–329.
A. I. Mal'cev, Algebraiczeskije sistemy, Izdatielstvo “Nauka” Moskva 1970.
A. Ju. Ol'šanskii, Uslownyje tożdiestva w koniecznych grupach, Sibirskij Math. Journal 15 (1974), pp. 1409–1413.
H. Rasiowa and R. Sikorski, The Mathematics of Metamathematics, PWN, Warszawa 1963.
W. Rautenberg, 2-Element matrices, Studia Logica 40 (1981), pp. 315–353.
A. S. Troelstra, On intermediate propositional logics, Indagationes Mathematicae 27 (1965), 141–152.
P. Wojtlyak, Strongly finite logics: Finite axiomatizability and the problem of supremum, Bulletin of the Section of Logic, Polish Academy of Sciences, Institute of Philosophy and Sociology 8 (1979), 99–111.
R. Wójcicki, Matrix approach in methodology of sentential calculi, Studia Logica 32 (1973), 7–37.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Dziobiak, W. Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra. Stud Logica 41, 415–428 (1982). https://doi.org/10.1007/BF00403339
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00403339