Partial monounary algebras with common congruence relations
Permutability of congruences in varieties with idempotent operations
Permutability of distributive congruence relations in a joint semilattice directed below
Permutability of tolerances with factor and decomposing congruences.
Permutation group extension of groupoids.
Polynomial functions over finite monoids.
Polynomial functions over monoids.
Polynomially determined congruences in algebras without constants
Polynomially determined tolerances
Prime Ideal Theorems and systems of finite character
We study several choice principles for systems of finite character and prove their equivalence to the Prime Ideal Theorem in ZF set theory without Axiom of Choice, among them the Intersection Lemma (stating that if is a system of finite character then so is the system of all collections of finite subsets of meeting a common member of ), the Finite Cutset Lemma (a finitary version of the Teichm“uller-Tukey Lemma), and various compactness theorems. Several implications between these statements...
Principal tolerances on lattices
Principal tolerances on lattices
Products of mode varieties and algebras of subalgebras
Propriétés de permanence et existence de réalisations minimales pour les algèbres multisortes