典型文献
可计算环上幂零根与Jacobson根的计算复杂度
文献摘要：
Downey等人(2007)证明了:存在一个可计算的有单位元素的交换环,其幂零根是∑01-完全集;存在另一个可计算的有单位元素的交换环,其Jacobson根是Π02-完全集.本文进一步证明了:存在一个可计算的有单位元素的交换环,其幂零根是∑01-完全集且其Jacobson根是Π02-完全集.此外,对于任意c.e.集A,都存在一个可计算的有单位元素的交换环使其幂零根与A图灵等价;对于任意Π02集B,都存在一个可计算的有单位元素的交换环使其Jacobson根与B图灵等价.
文献关键词：
中图分类号：
作者姓名：
王勋
作者机构：
北京大学哲学系
文献出处：
引用格式：
[1]王勋-.可计算环上幂零根与Jacobson根的计算复杂度)[J].逻辑学研究,2022(03):36-51
A类：
Downey
B类：
可计算,幂零,Jacobson,计算复杂度,全集,图灵,等价
AB值：
0.22686
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
