α-非有丝分离集的存在性 |
| |
引用本文: | 杨东屏. α-非有丝分离集的存在性[J]. 数学学报, 1979, 22(2): 195-203. DOI: cnki:ISSN:0583-1431.0.1979-02-007 |
| |
作者姓名: | 杨东屏 |
| |
作者单位: | 中国科学院计算所 |
| |
摘 要: | <正> 近年来自然数域上的递归论已向广义递归论上发展.广义递归论的一个分支是研究在序数的可允许前节α上的递归论,人们通常称之为α-递归论α目前α-递归论的大多数成果是探讨哪些自然数域上递归论的结果可以推广到α-递归论上去.已有的结果表明,有些自然数域上递归论的结果可以推广到序数的一切可允许前节上去.例如Post问
|
收稿时间: | 1976-09-28 |
修稿时间: | 1977-05-17 |
THE EXISTENCE OF NONMITOTIC a-RECURSIVELY ENUMERABLE SETS |
| |
Affiliation: | Yang Dong-ping(Institute of Computing Technology, Academia Sinica) |
| |
Abstract: | By the use of the a-finite injury priority method of shore, we lift the theorem on the existence of nonmitotic, recursively enumerable sets of the ordinary recursion theory to the a-reeursion theory.Theorem: There exists an a-regular nonmitotie a-recursively enumerable set. |
| |
Keywords: | |
本文献已被 CNKI 等数据库收录! |
| 点击此处可从《数学学报》浏览原始摘要信息 |
|
点击此处可从《数学学报》下载全文 |
|