-permutable locally finitely presentable categories.
Natural dualities for varieties of distributive lattices with a quantifier
Návod ke studiu algebry pro začátečníky
ndependence of axioms for biordered sets.
Nd-solid varieties
A non-deterministic hypersubstitution maps any operation symbol of a tree language of type τ to a set of trees of the same type, i.e. to a tree language. Non-deterministic hypersubstitutions can be extended to mappings which map tree languages to tree languages preserving the arities. We define the application of a non-deterministic hypersubstitution to an algebra of type τ and obtain a class of derived algebras. Non-deterministic hypersubstitutions can also be applied to equations of type τ. Formally,...
Nearly-idempotent plain algebras are indeed nearly idempotent plain algebras
Near-Rings of Polynomials over ...-Groups.
New kinds of hybrid filters of EQ-algebras
The main goal of this paper is to introduce hybrid positive implicative and hybrid implicative (pre)filters of EQ-algebras. In the following, some characterizations of this hybrid (pre)filters are investigated and it is proved that the quotient algebras induced by hybrid positive implicative filters in residuated EQ-algebras are idempotent and residuated EQ-algebra. Moreover, the relationship between hybrid implicative prefilters and hybrid positive implicative prefilters are discussed and it is...
New operations on partial Abelian monoids defined by preideals
We consider partial abelian monoids, in particular generalized effect algebras. From the given structures, we construct new ones by introducing a new operation , which is given by restriction of the original partial operation + with respect to a special subset called preideal. We bring some derived properties and characterizations of these new built structures, supporting the results by illustrative examples.
Nonfinitely based pseudovarieties and inherently nonfinitely based varieties.
Nonfree projectives in products of group varieties
Non-idempotent left symmetric left distributive groupoids
Subdirectly irreducible non-idempotent groupoids satisfying and are studied.
Non-modular congruence lattices of Rees matrix semigroups
Normal functors and strong protomodularity.
Normalization of -algebras
We consider algebras determined by all normal identities of -algebras, i.e. algebras of many-valued logics. For such algebras, we present a representation based on a normalization of a sectionally involutioned lattice, i.e. a -lattice, and another one based on a normalization of a lattice-ordered group.
Not every equational class of infinitary algebras contains a simple algebra
Note on a question of Reinhold Baer on pregroups
Note on a Question of Reinhold Baer on Pregroups II
Note on a representation of universal algebras as subdirect powers
Note on algebraic interior systems
We get an interrelation between an algebraic closure system and its conjugated interior system. We introduce the concept of algebraic interior system and we get its representation.