Free groupoids in varieties determined by a short equation
Free groupoids with axioms of the form and/or .
Free groupoids with . II.
Free Objects in Primitive Varieties of N-groupoids
Free -distributive lattice over an -element chain.
Free Suslin algebras
Free systems of algebras and ultraclosed classes.
Free Term Algebras
We interoduce a new characterization of algebras of normal forms of term rewriting systems [35] as algerbras of term free in itself (any function from free generators into the algebra generates endomorphism of the algebra). Introduced algebras are free in classes of algebras satisfying some sets of equalities. Their universes are subsets of all terms and the denotations of operation symbols are partially identical with the operations of construction of terms. These algebras are compiler algebras...
Free trees and the optimal bound in Wehrung's theorem
We prove that there is a distributive (∨,0,1)-semilattice of size ℵ₂ such that there is no weakly distributive (∨,0)-homomorphism from to with 1 in its range, for any algebra A with either a congruence-compatible structure of a (∨,1)-semi-lattice or a congruence-compatible structure of a lattice. In particular, is not isomorphic to the (∨,0)-semilattice of compact congruences of any lattice. This improves Wehrung’s solution of Dilworth’s Congruence Lattice Problem, by giving the best cardinality...
From hereditary classes to varieties in abstract model theory and partial algebra
Full subdirect and weak direct products of algebras
Function classes and relational constraints stable under compositions with clones
The general Galois theory for functions and relational constraints over arbitrary sets described in the authors' previous paper is refined by imposing algebraic conditions on relations.
Function minimum associated to a congruence on integral n-tuple space.
Functional Completeness and Automorphisms. II.
Functional Completeness and Automorphisms.I.
Functional completeness in pseudocomplemented de Morgan algebras
Functional representation of preiterative/combinatory formalism
Functorial algebras and automata
Functorial uniform reducibility
Funktionen über lokal endlichen Halbordnungen.