2 citations · 2 across the 3 of their papers we have counts for
Showing math.GRShow all
2 papers · 1 filter
math.GR2020
Profinite congruences and unary algebras
J. Almeida, O. Klíma
Profinite congruences on profinite algebras determining profinite quotients are difficult to describe. In particular, no constructive description is known of the least profinite co…
math.GR2017★ 2 cited
Towards a pseudoequational proof theory
Jorge Almeida, Ondřej Klíma
A new scheme for proving pseudoidentities from a given set Σ of pseudoidentities, which is clearly sound, is also shown to be complete in many instances, such as when Σ defines a l…