Recursive inseparability for residual bounds of finite algebras
From MaRDI portal
Publication:2710615
DOI10.2307/2695083zbMath0971.03041MaRDI QIDQ2710615
Publication date: 30 October 2001
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2695083
Turing machine; residual bound of a finite algebra; residually bounded variety; residually large variety
08B05: Equational logic, Mal'tsev conditions
08A40: Operations and polynomials in algebraic structures, primal algebras
03D80: Applications of computability and recursion theory
08A62: Finitary algebras
03D10: Turing machines and related notions
Related Items
Residual smallness relativized to congruence types. I, Flat unars: the primal, the semi-primal and the dualisable, Residually Finite Varieties of Nonassociative Algebras
Cites Work