Tarski's Finite Basis Problem is Undecidable
Tarski's Finite Basis Problem is Undecidable
复制标题
DOI：
10.1142/s0218196796000040
复制
发表时间：
1996-02
期刊：
影响因子：
--
通讯作者：
R. McKenzie
中科院分区：
文献类型：
--
作者：
R. McKenzie
我们展示了一个建设，产生每一个图灵机，一个代数（有限和有限型），使图灵机停止当且仅当代数有一个有限的基础，其方程。
We exhibit a construction which produces for every Turing machine , an algebra (finite and of finite type) such that the Turing machine halts iff the algebra has a finite basis for its equations.