A unifying approach to theorems on preservation and interpolation for binary relations between structures.
A universal algebra approach to free projective planes.
A universal algebra approach to free projective planes. (Short Communication).
Abelian differential modes are quasi-affine
We study a class of strongly solvable modes, called differential modes. We characterize abelian algebras in this class and prove that all of them are quasi-affine, i.e., they are subreducts of modules over commutative rings.
About the finiteness of monoids generated by closures and interiors.
Absolutely closed spaces and categories of algebras
Abstract Characterizations of Continuous Functions.
Abstract Characterizations of Continuous Functions. (Short Communication).
Abstract clones and operads.
Accessible set functors are universal
It is shown that every concretizable category can be fully embedded into the category of accessible set functors and natural transformations.
Active sums I.
Given a generating family F of subgroups of a group G closed under conjugation and with partial order compatible with inclusion, a new group S can be constructed, taking into account the multiplication in the subgroups and their mutual actions given by conjugation. The group S is called the active sum of F, has G as a homomorph and is such that S/Z(S) ≅ G/Z(G) where Z denotes the center.The basic question we investigate in this paper is: when is the active sum S of the family F isomorphic to the...
Addition and correction to the paper "Diagonal algebras"
Adjoint Semilattice and Minimal Brouwerian Extensions of a Hilbert Algebra
Let be a Hilbert algebra. The monoid of all unary operations on generated by operations , which is actually an upper semilattice w.r.t. the pointwise ordering, is called the adjoint semilattice of . This semilattice is isomorphic to the semilattice of finitely generated filters of , it is subtractive (i.e., dually implicative), and its ideal lattice is isomorphic to the filter lattice of . Moreover, the order dual of the adjoint semilattice is a minimal Brouwerian extension of , and the...
Adjointness between theories and strict theories
The categorical concept of a theory for algebras of a given type was foundet by Lawvere in 1963 (see [8]). Hoehnke extended this concept to partial heterogenous algebras in 1976 (see [5]). A partial theory is a dhts-category such that the object class forms a free algebra of type (2,0,0) freely generated by a nonempty set J in the variety determined by the identities ox ≈ o and xo ≈ o, where o and i are the elements selected by the 0-ary operation symbols. If the object class of a dhts-category...
Admissible operations in categories of algebras
Affine complete algebras generalizing Kleene and Stone algebras.
Affine completeness of de Morgan algebras
Affine completness of projectable lattice ordered groups
Affine spaces as models for regular identities
In [7] and [8], two sets of regular identities without finite proper models were introduced. In this paper we show that deleting one identity from any of these sets, we obtain a set of regular identities whose models include all affine spaces over GF(p) for prime numbers p ≥ 5. Moreover, we prove that this set characterizes affine spaces over GF(5) in the sense that each proper model of these regular identities has at least 13 ternary term functions and the number 13 is attained if and only if the...
Agassiz sum of algebras