菲利普·莫里。 递归集拓扑中的广义Banach-Mazur泛函。 （英语） Zbl 0491.03017号 J.纯应用。代数 26, 71-83 (1982). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于2评论引用于16文件 MSC公司： 03D75号 抽象公理可计算性和递归理论 03D65年 高级类型和集合递归理论 18对25 托波伊 03G30型 分类逻辑，拓扑 03层60 构造性和递归分析 关键词：递归泛函;递归函数;枚举的集合;递归实数;子对象分类器;双重否定拓扑;全局截面函子;Dedekind实数对象;Banach-Mazur可计算实数;实Banach-Mazur递归序列的层 PDF格式BibTeX公司 XML格式引用 \textit{P.S.Murry}，J.Pure Appl.（简写为：P.S Murry）。代数26，71--83（1982；Zbl 0491.03017） 全文： 内政部 参考文献： [1] 朱·埃尔索夫。L.，《枚举理论》，《国际数学会议学报》，第1卷，223-227（1970）·Zbl 0388.03019号 [2] 朱·埃尔索夫。L.，形态的可计算计数，代数和逻辑，10155-191（1971）·Zbl 0315.02041号 [3] Johnstone，P.T.，《拓朴理论》（1977），学术出版社：纽约学术出版社·Zbl 0368.18001号 [4] Lawvere，F.W.，《对角线论点和笛卡尔闭范畴》，（第92号数学讲义，1969年），施普林格：施普林格·柏林纽约），134-145·兹伯利0218.18002 [5] Mazur，S.，可计算分析，Rozprawy Matematyczne，第33卷（1963年）·Zbl 0113.24306号 [6] Murry，P.S.，递归集的拓扑（博士论文（1980），纽约州立大学布法罗分校）·Zbl 1002.68088号 [7] Rogers，H.，《递归函数和有效可计算性理论》（1967），麦格劳-希尔出版社，纽约·Zbl 0183.01401号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。