道格拉斯·森泽 归纳定义的实数集。 （英语） Zbl 0328.02028号 牛市。美国数学。Soc公司。 80, 485-487 (1974). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描的页面 引用于1文件 MSC公司： 03D65年 高级类型和集合递归理论 03D60年 序数、容许集等的可计算性和递归理论。 03D55号 可计算性和可定义性的层次结构 03E15年 描述性集合论 PDF格式BibTeX公司 XML格式引用 \textit{D.Cenzer}，公牛。美国数学。Soc.80，485--487（1974；Zbl 0328.02028） 全文： 内政部 参考文献： [1] 安德烈亚斯·布拉斯（Andreas Blass）和道格拉斯·岑泽（Douglas Cenzer），《超级实数集的核心》（Cores of \Pi），J.Symbolic Logic 39（1974），649–654·Zbl 0295.02038号 ·doi:10.2307/2272848 [2] D.Cenzer，连续统上的单调归纳定义，Notices Amer。数学。Soc.21（1974），A-19。 [3] Douglas Cenzer，顺序递归和归纳定义，广义递归理论（Proc.Sympos.，Oslo，1972），北荷兰，阿姆斯特丹，1974年，第221-264页。逻辑与数学基础研究。，第79卷·Zbl 0284.02021号 [4] D.Cenzer，连续统上的顺序递归（即将出现）·Zbl 0328.02027号 [5] Douglas Cenzer，连续统上的参数归纳定义和递归算子，基金。数学。100（1978年），第1期，第9-15页·Zbl 0391.03023号 [6] Thomas J.Grilliot，《基于有限类型对象的层次结构》，J.符号逻辑34（1969），177-182·Zbl 0185.02303号 ·doi:10.2307/2271092 [7] 彼得·欣曼（Peter G.Hinman），《递归理论层次结构》（Recursion-theoretic hierarchies），施普林格·弗拉格（Springer-Verlag），柏林-纽约，1978年。数学逻辑的观点·Zbl 0371.02017号 [8] Peter G.Hinman和Yiannis N.Moschovakis，连续体上的可计算性，逻辑学术讨论会’69（曼彻斯特夏令营和学术讨论会，1969年），北荷兰，阿姆斯特丹，1971年，第77-105页·Zbl 0234.02028号 [9] S.C.Kleene，有限类型的递归泛函和量词。二、 事务处理。阿默尔。数学。《社会》第108卷（1963年），第106-142页·Zbl 0121.01302号 [10] Wayne Richter，递归Mahlo序数和归纳定义，逻辑学术讨论会’69（曼彻斯特夏令营和学术讨论会，1969年），北荷兰，阿姆斯特丹，1971年，第273–288页·Zbl 0252.02024号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。