Algebras with tolerance extension property in 0
Algorithmization of algebras and relational structures
All completely regular elements in
In Universal Algebra, identities are used to classify algebras into collections, called varieties and hyperidentities are use to classify varieties into collections, called hypervarities. The concept of a hypersubstitution is a tool to study hyperidentities and hypervarieties. Generalized hypersubstitutions and strong identities generalize the concepts of a hypersubstitution and of a hyperidentity, respectively. The set of all generalized hypersubstitutions forms a monoid. In...
Almost associative operations generating a minimal clone
Characterizations of 'almost associative' binary operations generating a minimal clone are given for two interpretations of the term 'almost associative'. One of them uses the associative spectrum, the other one uses the index of nonassociativity to measure how far an operation is from being associative.
Almost direct products and saturation
Almost every tree function is independent
Almost orthogonality and Hausdorff interval topologies of atomic lattice effect algebras
We prove that the interval topology of an Archimedean atomic lattice effect algebra is Hausdorff whenever the set of all atoms of is almost orthogonal. In such a case is order continuous. If moreover is complete then order convergence of nets of elements of is topological and hence it coincides with convergence in the order topology and this topology is compact Hausdorff compatible with a uniformity induced by a separating function family on corresponding to compact and cocompact elements....
Amalgamating commutative regular rings
An algorithm for free algebras
We present an algorithm for constructing the free algebra over a given finite partial algebra in the variety determined by a finite list of equations. The algorithm succeeds whenever the desired free algebra is finite.
An application of commutator theory to incidence algebras.
Usando la teoria del commutatore in algebra universale, si dimostra che una larga classe di algebre di incidenza sono polinomialmente equivalenti a moduli su anelli con divisione.
An elementary characterization of the category of relational systems
An elementary proof that finite groups are projectively torsion-free
An investigation on the -fold IVRL-filters in triangle algebras
The present study aimed to introduce -fold interval valued residuated lattice (IVRL for short) filters in triangle algebras. Initially, the notions of -fold (positive) implicative IVRL-extended filters and -fold (positive) implicative triangle algebras were defined. Afterwards, several characterizations of the algebras were presented, and the correlations between the -fold IVRL-extended filters, -fold (positive) implicative algebras, and the Gödel triangle algebra were discussed.
André-Quillen cohomology for commutative coalgebras
Annihilators in BCK-algebras
We introduce the concepts of an annihilator and a relative annihilator of a given subset of a BCK-algebra . We prove that annihilators of deductive systems of BCK-algebras are again deductive systems and moreover pseudocomplements in the lattice of all deductive systems on . Moreover, relative annihilators of with respect to are introduced and serve as relative pseudocomplements of w.r.t. in .
Announcements of new results
Antiassociative groupoids
Given a groupoid , and , we say that is antiassociative if an only if for all , and are never equal. Generalizing this, is -antiassociative if and only if for all , any two distinct expressions made by putting parentheses in are never equal. We prove that for every , there exist finite groupoids that are -antiassociative. We then generalize this, investigating when other pairs of groupoid terms can be made never equal.
Antiatomic retract varieties of monounary algebras
Applications of the Baire-category method to the problem of independent sets
Approximation durch Polynomfunktionen auf universellen Algebren.