Strong compact elements in multiplicative lattices
Strong elements in lattices
Strongly cancellative and recovering sets on lattices.
Strongly projectable lattice ordered groups
Structure de l'ensemble des fermetures d'un treillis complet
Structure of the set of compatible proximities when the set is finite
Structure spaces of lattices
Studies of some items of the lattice theory in relation to the Hilbert-Hermite space
Su una classe di gruppi con molti sottogruppi quasinormali
Subalgebra lattices of unary algebras and an axiom of choice
Subdirect decomposition of distributive quasilattices
Subdirect decompositions of algebras from 2-clone extensions of varieties
Let τ:F → ℕ be a type of algebras, where F is a set of fundamental operation symbols and ℕ is the set of nonnegative integers. We assume that |F|≥2 and 0 ∉ (F). For a term φ of type τ we denote by F(φ) the set of fundamental operation symbols from F occurring in φ. An identity φ ≉ ψ of type τ is called clone compatible if φ and ψ are the same variable or F(φ)=F(ψ)≠. For a variety V of type τ we denote by the variety of type τ defined by all identities φ ≉ ψ from Id(V) which are either clone compatible...
Subdirectly irreducible and congruence distributive -lattices
Subdirekte Produkte vollständiger Verbände.
Sublattices of Euclidean spaces.
Sublattices of topologically represented lattices.
Sublattices with saturated chains
Super-De Morgan functions and free De Morgan quasilattices
A De Morgan quasilattice is an algebra satisfying hyperidentities of the variety of De Morgan algebras (lattices). In this paper we give a functional representation of the free n-generated De Morgan quasilattice with two binary and one unary operations. Namely, we define the concept of super-De Morgan function and prove that the free De Morgan quasilattice with two binary and one unary operations on nfree generators is isomorphic to the De Morgan quasilattice of super-De Morgan functions of nvariables....
Suprema of Classes of Generalized Scrimger Varieties of Lattice Ordered Groups.
Sur la construction de certaines MS-algèbres