Recursive inseparability for residual bounds of finite algebras
Ralph McKenzie · Journal of Symbolic Logic · 2000
Abstract We exhibit a construction which produces for every Turing machine T with two halting states μ0 and μ−1, an algebra B(T) (finite and of finite type) with the property that the variety generated by B(T) is residually large if T halts in state μ−1, while if T halts in state μ0 then this variety is residually bounded by a finite cardinal.