×

Cyclic Tarski algebras. (English) Zbl 1102.03059

Summary: The variety of cyclic Boolean algebras is a particular subvariety of the variety of tense algebras. The objective of this paper is to study the variety \({\mathcal T}\) of \(\{\to,g,h\}\)-subreducts of cyclic Boolean algebras, which we call cyclic Tarski algebras. We prove that \({\mathcal T}\) is generated by its finite members, and we characterise the locally finite subvarieties of \({\mathcal T}\). We prove that there are no splitting varieties in the lattice \(\Lambda({\mathcal T})\) of subvarieties of \({\mathcal T}\). Finally, we prove that the subquasivarieties and the subvarieties of a locally finite subvariety of \({\mathcal T}\) coincide.

MSC:

03G05 Logical aspects of Boolean algebras
06E05 Structure theory of Boolean algebras
08B15 Lattices of varieties
08C15 Quasivarieties
Full Text: DOI

References:

[1] Kowalski, Rep. Math. Logic 32 pp 53– (1998)
[2] DOI: 10.1007/PL00000358 · Zbl 1064.08007 · doi:10.1007/PL00000358
[3] Abbott, Bull. Math. Soc. Sci. Math R. S. Roumaine 11 pp 3– (1967)
[4] DOI: 10.2307/1996095 · Zbl 0265.08006 · doi:10.2307/1996095
[5] Abad, Sci. Math. Jpn. 56 pp 599– (2002)
[6] Abad, Rep. Math. Logic 37 pp 101– (2003)
[7] Abbott, Mat. Vesnik 19 pp 177– (1967)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.