Special measures and repleteness.
Standard completions for quasiordered sets.
States on unital partially-ordered groups
We study states on unital po-groups which are not necessarily commutative as normalized positive real-valued group homomorphisms. We show that in contrast to the commutative case, there are examples of unital po-groups having no state. We introduce the state interpolation property holding in any Abelian unital po-group, and we show that it holds in any normal-valued unital -group. We present a connection among states and ideals of po-groups, and we describe extremal states on the state space of...
Stone Lattices
The article continues the formalization of the lattice theory (as structures with two binary operations, not in terms of ordering relations). In the paper, the notion of a pseudocomplement in a lattice is formally introduced in Mizar, and based on this we define the notion of the skeleton and the set of dense elements in a pseudocomplemented lattice, giving the meet-decomposition of arbitrary element of a lattice as the infimum of two elements: one belonging to the skeleton, and the other which...
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.