Displaying similar documents to “On deductive varieties of locally convex spaces”

Hu's Primal Algebra Theorem revisited

Hans-Eberhard Porst (2000)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

It is shown how Lawvere's one-to-one translation between Birkhoff's description of varieties and the categorical one (see [6]) turns Hu's theorem on varieties generated by a primal algebra (see [4], [5]) into a simple reformulation of the classical representation theorem of finite Boolean algebras as powerset algebras.

The dimension of a variety

Ewa Graczyńska, Dietmar Schweigert (2007)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

Derived varieties were invented by P. Cohn in [4]. Derived varieties of a given type were invented by the authors in [10]. In the paper we deal with the derived variety V σ of a given variety, by a fixed hypersubstitution σ. We introduce the notion of the dimension of a variety as the cardinality κ of the set of all proper derived varieties of V included in V. We examine dimensions of some varieties in the lattice of all varieties of a given type τ. Dimensions of varieties of lattices...