10.3969/j.issn.1674-3202.2022.03.003
可计算环上幂零根与Jacobson根的计算复杂度
Downey等人(2007)证明了:存在一个可计算的有单位元素的交换环,其幂零根是∑01-完全集;存在另一个可计算的有单位元素的交换环,其Jacobson根是Π02-完全集.本文进一步证明了:存在一个可计算的有单位元素的交换环,其幂零根是∑01-完全集且其Jacobson根是Π02-完全集.此外,对于任意c.e.集A,都存在一个可计算的有单位元素的交换环使其幂零根与A图灵等价;对于任意Π02集B,都存在一个可计算的有单位元素的交换环使其Jacobson根与B图灵等价.
计算复杂度、交换环、单位元、完全集、进一步、downey
15
O153.3;TN919.81;TP301.6
2022-11-03(万方平台首次上网日期,不代表论文的发表时间)
共16页
36-51