当前位置：
X-MOL 学术
›
J. Log. Comput.
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
The first-order theory of the computably enumerable equivalence relations in the uncountable setting
Journal of Logic and Computation ( IF 0.7 ) Pub Date : 2021-07-02 , DOI: 10.1093/logcom/exab045 Uri Andrews 1 , Steffen Lempp 1 , Manat Mustafa 2 , Noah D Schweber 1
Journal of Logic and Computation ( IF 0.7 ) Pub Date : 2021-07-02 , DOI: 10.1093/logcom/exab045 Uri Andrews 1 , Steffen Lempp 1 , Manat Mustafa 2 , Noah D Schweber 1
Affiliation
We generalize the analysis of Andrews, Schweber and Sorbi of the first-order theory of the partial order of degrees of c.e. equivalence relations to higher computability theory, specifically to the setting of a regular cardinal.
中文翻译：
不可数环境下可计算可枚举等价关系的一阶理论
我们将 Andrews、Schweber 和 Sorbi 对 ce 等价关系的偏阶的一阶理论的分析推广到更高的可计算性理论，特别是常规基数的设置。
更新日期：2021-07-02
中文翻译：
不可数环境下可计算可枚举等价关系的一阶理论
我们将 Andrews、Schweber 和 Sorbi 对 ce 等价关系的偏阶的一阶理论的分析推广到更高的可计算性理论，特别是常规基数的设置。
京公网安备 11010802027423号