2 citations · 2 across the 3 of their papers we have counts for
3 papers
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.CO2019
Binary patterns in the Prouhet-Thue-Morse sequence
Jorge Almeida, Ondřej Klíma
We show that, with the exception of the words and , all (finite or infinite) binary patterns in the Prouhet-Thue-Morse sequence can actually be found in that seq…
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…