主机名:page-component-848d4c4894-ndmmz总加载时间:0渲染日期:2024-05-21T05:41:59.185Z有数据问题:falsehasContentIssue为false

可检索集合

剑桥大学出版社在线出版:2018年11月20日

J.C.E.德克尔
附属:
加州大学伯克利分校
J.米希尔
附属:
高级研究所
权限和权限 [在新窗口中打开]

提取

核心共享和HTML视图不适用于此内容。但是,由于您有权访问此内容,可以通过“保存PDF”操作按钮获得完整的PDF。

让我们比较非负整数集的两个属性:(1)集a具有财产Γ,如果存在一个有效的程序,当应用于不同于其最大值的任何元素时(α不一定拥有)产生下一个较大的元素α; (2) 成套设备α财产Δ,如果存在适用于以下任何元素的有效程序α与最小值不同的是α显而易见,每个递归集都有这两个属性。

类型
研究文章
版权
版权所有©加拿大数学学会1958

工具书类

1.德克尔,J·C·E。,关于递归可枚举集的两点注记,程序。阿默尔。数学。Soc公司,4(1953),495-501.谷歌学者
2.德克尔,J、C、E。,超单集上的一个定理,程序。阿默尔。数学。Soc公司,5(1954),791796.谷歌学者
.海廷,答:。,直觉主义,介绍(阿姆斯特丹,1956).谷歌学者
4.科尼格,D。,在Unendliche的Endliche,科学学报(Sectio Scientiarum Mathematicarum)Szeged,(1927),121-130.谷歌学者
5.科尼格,D。,endlichen和unendlichen-Graphen理论(莱比锡,1936).谷歌学者
6.大米,H.G.公司。,关于完全递归可枚举类及其键数组,J.符号逻辑,21(1956),304-308.谷歌学者
7.科尼格,D。,递归和递归可枚举顺序,事务处理。阿默尔。数学。Soc公司,83(1956),277-300.谷歌学者
8.西尔宾斯基,西。,一般拓扑结构(第2版。;多伦多,1956).谷歌学者
9.符号逻辑,J。, 21 (1956).谷歌学者