安德烈·鲍尔 从Baire空间到自然数的注入。 （英语） 兹比尔1362.03053 数学。结构。计算。科学。 25，第7期，1484-1489（2015）. 摘要：我们提供了一个基于无限时间图灵机的可实现性模型，其中有一个从内部Baire空间（无限数列的对象）到自然数对象的注入。 引用于7文件 MSC公司： 03层60 构造性和递归分析 03日第10天 图灵机及其相关概念 PDF格式BibTeX公司 XML格式引用 \textit{A.Bauer}，数学。结构。计算。科学。25，第7号，1484--1489（2015；Zbl 1362.03053） 全文： 内政部 参考文献： [1] L.E.J.Brouwer百年纪念研讨会第165页–（1982） [2] 第27届程序设计语义数学基础会议（MFPS XXVII）（2011年）·Zbl 1281.68036号 [3] 可实现性：分类方面的介绍（2008年）·Zbl 1225.03002号 [4] 内政部：10.2307/2586556·Zbl 0963.03064号 ·doi:10.2307/2586556 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。