✦ LIBER ✦

On subvarieties of symmetric closure algebras

✍ Scribed by J.P. Dı́az Varela

Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 163 KB
Volume: 108
Category: Article
ISSN: 0168-0072
DOI: 10.1016/s0168-0072(00)00043-9

No coin nor oath required. For personal study only.

✦ Synopsis

The aim of this paper is to investigate the variety of symmetric closure algebras, that is, closure algebras endowed with a De Morgan operator. Some general properties are derived. Particularly, the lattice of subvarieties of the subvariety of monadic symmetric algebras is described and an equational basis for each subvariety is given.

📜 SIMILAR VOLUMES

A note on a subvariety of linear tense a

A note on a subvariety of linear tense algebras

✍ Marta A. Zander 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 118 KB 👁 1 views

## Abstract In [1], Bull gave completeness proofs for three axiom systems with respect to tense logic with time linear and rational, real and integral. The associated varieties, Dens, Cont and Disc, are generated by algebras with frames {ℚ, <, >}, {ℝ, <, >} and {ℤ, <, >}, respectively. In this pape

On a remarkable class of subvarieties of

On a remarkable class of subvarieties of a symmetric variety

✍ Silvana Abeasis 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 922 KB

Chains of Differential Subvarieties in a

Chains of Differential Subvarieties in an Algebraic Variety

✍ Wai Yan Pong 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 108 KB

Let X be a δ-variety over some δ-field . Denote by td δ X/ , or simply td δ X if the ground field is understood, the δ-transcendental degree of X over . Suppose td δ X = d; Johnson [Comment. Math. Helv. 44 (1969), 207-216] showed that there is an increasing chain of δ-subvarieties of length ωd in X.

On the algebraic closure of two

✍ H.W Lenstra Jr. 📂 Article 📅 1977 🏛 Elsevier Science ⚖ 390 KB

On weak normality and symmetric algebras

✍ Shiroh Itoh 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 806 KB

On many-sorted algebraic closure operato

On many-sorted algebraic closure operators

✍ Juan Climent Vidal; Juan Soliveres Tur 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 96 KB

## Abstract A theorem of Birkhoff‐Frink asserts that every algebraic closure operator on an ordinary set arises, from some algebraic structure on the set, as the corresponding generated subalgebra operator. However, for many‐sorted sets, i.e., indexed families of sets, such a theorem is not longer