Jens Erik芬斯塔德(编辑);R.O.甘地。(编辑);麻袋,G.E。(编辑) [Barwise,J。;J.伯格斯特拉。;费弗曼,S。;Jens Erik芬斯塔德;弗里德曼,S.D。;海兰德,J.M.E。;凯克里斯,A.S。;南卡罗来纳州克莱恩。;M.勒曼。;W.马斯。;马雷克·W·。;A.M.尼伯格。;莫尔德斯塔德,J。;D.诺曼。;斯托尔滕贝格·汉森,V。;罗德岛肖尔。;辛普森,S.G。;韦纳,S.S。] 广义递归理论2。1977年奥斯陆研讨会论文集。 (英语) Zbl 0453.03047号 逻辑与数学基础研究,第94卷。阿姆斯特丹-纽约-牛津:North-Holland Publishing Company。八、 466页41.50美元;英国国防部。95.00 (1978). 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4个 +5 显示扫描页面 引用于9评论引用于8文件 MSC公司: 03D60年 序数、容许集等的可计算性和递归理论。 03D75号 抽象公理可计算性和递归理论 03D65年 高级类型和集合递归理论 03-06 与数理逻辑和基础有关的会议记录、会议、收藏等 03C55号 集合理论模型理论 03E15年 描述性集合论 03日70 归纳可定义性 03D20日 递归函数和关系,子递归层次结构 03D25号 递归(可计算)可枚举集和度 03E99型 集合论 关键词:递归理论;诉讼;研讨会;奥斯陆;ZF模型的可扩展性;冯·诺依曼层次;班级知识管理理论;字母递归;β递归;连续泛函 引文:Zbl 0316.02047号 PDF格式BibTeX公司 XML格式