Prime ideals in universal algebras
Primitive classes of algebras with two unary idempotent operations, containing all algebraic categories as full subcategories
Principal dual ideals in lattices of primitive classes
Principal tolerances on lattices
Principal tolerances on lattices
Products of mode varieties and algebras of subalgebras
Produkte von Kongruenzklassengeometrien universeller Algebren.
Projection representable relations on Menger -semigroups
Abstract characterizations of relations of nonempty intersection, inclusion end equality of domains for partial -place functions are presented. Representations of Menger -semigroups by partial -place functions closed with respect to these relations are investigated.
Projections of relations
A projection of a relation is defined as a relation of reduced arity. The paper deals with projections of relations in coherence with their reflexivity, symmetry, completeness, regularity, cyclicity and other properties. Relationships between projections of hulls and hulls of projections are also studied.
Proper automorphisms of universal algebras.
Proper congruences do not imply a modular congruence lattice
Proprietà metamatematiche di alcune classi di algebre
Propriétés catégorielles dans la théorie des algèbres universelles
Propriétés de permanence et existence de réalisations minimales pour les algèbres multisortes
Pseudocomplements in sum-ordered partial semirings
We study a particular way of introducing pseudocomplementation in ordered semigroups with zero, and characterise the class of those pseudocomplemented semigroups, termed g-semigroups here, that admit a Glivenko type theorem (the pseudocomplements form a Boolean algebra). Some further results are obtained for g-semirings - those sum-ordered partially additive semirings whose multiplicative part is a g-semigroup. In particular, we introduce the notion of a partial Stone semiring and show that several...
Pure filters and stable topology on BL-algebras
In this paper we introduce stable topology and -topology on the set of all prime filters of a BL-algebra and show that the set of all prime filters of , namely Spec() with the stable topology is a compact space but not . Then by means of stable topology, we define and study pure filters of a BL-algebra and obtain a one to one correspondence between pure filters of and closed subsets of Max(), the set of all maximal filters of , as a subspace of Spec(). We also show that for any filter...
Quasi-constants in general algebras
Quasi-orders of algebras
Quasi-regular Relations – A New Class of Relations on Sets
Quelques applications des catégories à involution aux algèbres universelles