10.3969/j.issn.0469-5097.2005.02.007
SW规约下的一些性质
本文进一步分析了SW规约下的SW度结构的一些性质,得到了强可计算实数的两个性质.并且证明了给定可计算可枚举实数,可构造出sw归约下不小于该数的低的可计算可枚举实数.
(强)可计算可枚举实数、sw归约、低可计算可枚举实数
22
O141.3(数理逻辑、数学基础)
中国科学院资助项目10420130638;10471060
2005-12-29(万方平台首次上网日期,不代表论文的发表时间)
共9页
244-252