Reflexive and antisymmetric relations and their systems
Some properties of the weak subalgebra lattice of a partial algebra of a fixed type
We investigate, using results from [[p3]], when a given lattice is isomorphic to the weak subalgebra lattice of a partial algebra of a fixed type. First, we reduce this problem to the question when hyperedges of a hypergraph can be directed to a form of directed hypergraph of a fixed type. Secondly, we show that it is enough to consider some special hypergraphs. Finally, translating these results onto the lattice language, we obtain necessary conditions for our algebraic problem, and also, we completely...
Strong regular varieties of partial algebras I
Structures Algebraiques munis, avec des lois de composition generalisees - Generalisations du produit scalaire
Subalgebra extensions of partial monounary algebras
For a subalgebra of a partial monounary algebra we define the quotient partial monounary algebra . Let , be partial monounary algebras. In this paper we give a construction of all partial monounary algebras such that is a subalgebra of and .
Tensor products of partial algebras.
In this paper we introduce the tensor product of partial algebras w.r.t. a quasi-primitive class of partial algebras, and we prove some of its main properties. This construction generalizes the well-known tensor product of total algebras w.r.t. varieties.
Ternary structures and partial semigroups
The category of connected partial unary algebras
The epis of the category of ordered algebras and -continuous homomorphisms
The exocenter and type decomposition of a generalized pseudoeffect algebra
We extend the notion of the exocenter of a generalized effect algebra (GEA) to a generalized pseudoeffect algebra (GPEA) and show that elements of the exocenter are in one-to-one correspondence with direct decompositions of the GPEA; thus the exocenter is a generalization of the center of a pseudoeffect algebra (PEA). The exocenter forms a boolean algebra and the central elements of the GPEA correspond to elements of a sublattice of the exocenter which forms a generalized boolean algebra. We extend...
The logic of categories of partial functions and its applications [Book]
The subalgebra lattice of a finite algebra
The aim of this paper is to characterize pairs (L, A), where L is a finite lattice and A a finite algebra, such that the subalgebra lattice of A is isomorphic to L. Next, necessary and sufficient conditions are found for pairs of finite algebras (of possibly distinct types) to have isomorphic subalgebra lattices. Both of these characterizations are particularly simple in the case of distributive subalgebra lattices. We do not restrict our attention to total algebras only, but we consider the more...
The weak hereditary class of a variety
We study the weak hereditary class of all weak subalgebras of algebras in a total variety . We establish an algebraic characterization, in the sense of Birkhoff’s HSP theorem, and a syntactical characterization of these classes. We also consider the problem of when such a weak hereditary class is weak equational.
The weak subalgebra lattice of a unary partial algebra of a given infinite unary type
Uncountable families of partial clones containing maximal clones.
Unsolid and fluid strong varieties of partial algebras.
Varieties of partial algebras.
Weak subalgebra lattices
Weak subalgebra lattices of monounary partial algebras
Алгебра относительно-примитивных элементов.