The Variety Generated by A(T) -- Two Counterexamples

Matthew Moore

We show that V(A(T)) does not have definable principal subcongruences or bounded Maltsev depth. When the Turing machine T halts, V(A(T)) is an example of a finitely generated semil…