马克·比克福德;科恩、利隆;罗伯特·康斯特布尔。;文森特·拉里 通过选择序列超越Church-Turing的可计算性。 （英语） Zbl 1452.03133号 2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。245-254 (2018). 引用于三文件 MSC公司： 03楼50 构造系统的元数学 03B35型 证明和逻辑操作的机械化 03B38型 类型理论 03日30分 可计算性和递归理论中的其他度和可约性 68伏15 定理证明（自动和交互式定理证明、演绎、解析等） 软件：Nuprl公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Bickford}等人，in：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年LICS，英国牛津，2018年7月9日至12日。纽约州纽约市：计算机协会（ACM）。245--254（2018；Zbl 1452.03133） 全文： 内政部 链接