n实验室功能可实现性

有效可计算态射的子范畴功能实现拓扑 $RT（\mathcal）公司{K} _2)$ 是Kleene-Vesley拓扑 $千伏$ .“可接受的陈述”类别 $管理员代表$ （其形态是可计算函数（分析），看那里）是一个反射子范畴属于 $RT（\mathcal）公司{K} _2)$ (英国标准协会07)以及对以下方面的限制 $千伏$ 是 $管理员代表{eff}$

\阵列{AdmRep_｛eff｝&&\hookrightarrow和KV\\\向下箭头&&\向下箭头\\AdmRep和\hookrightarrow和RT（\mathcal{K} _2)}

	I型可计算性	II型可计算性
典型域	自然数 $\mathbb{N}$	拜尔空间无限序列的 $\mathbb{B}=\mathbb{N}^{\mathbb{N}}$
可计算函数	部分递归函数	可计算函数（分析）
的类型可计算数学	递归数学	可计算分析,第二类有效性理论
的类型可实现性	数字可实现性	功能可实现性
部分组合代数	克莱恩第一部分组合代数	克莱恩第二部分组合代数

工具书类

托马斯·斯特里彻，第17页左右可实现性(2017/18) (pdf格式)
贾普·范·奥斯滕,可实现性：对其分类方面的介绍《逻辑和数学基础研究》，第152卷，爱思唯尔出版社，2008年(前言pdf)
英戈·巴滕菲尔德马蒂亚斯·施罗德，亚历克斯·辛普森,方便的域类别在L.Cardelli、M.Fiore和G.Winskel（编辑）中，计算、意义和逻辑，《计算机科学中Gordon Plotkin电子笔记专用文章》，34页，即将出版，2007年(pdf格式)
安德烈·鲍尔和安德鲁·斯万,每个度量空间在函数可实现性上是可分离的, 2018, (arxiv公司：1804.00427)

上次修订时间：2024年8月29日20:06:40。请参阅历史请参阅本页的所有贡献列表。