Krivine's classical realisability from a categorical perspective
Krivine's classical realisability from a categorical perspective
复制标题
克里文从绝对角度看经典的可实现性
DOI：
10.1017/s0960129512000989
复制
发表时间：
2013
影响因子：
0.5
通讯作者：
T. Streicher
中科院分区：
文献类型：
--
作者：
T. Streicher
在一系列论文（Krivine 2001; Krivine 2003; Krivine 2009）中，J. - L. Krivine为经典二阶逻辑和Zermelo-Fraenkel集合论引入了他的经典可实现性概念。此外，在最近的工作（Krivine 2008）中，他考虑在它之上强制构造，最终目的是为选择公理提供一个可实现性解释。本论文的目的是展示Krivine的经典可实现性如何被理解为Martin Hyland在Hyland（1982）中开始并在货车Oosten（2008）中详细描述的可实现性的范畴方法的一个实例。此外，我们将对Krivine（2008）中描述的可实现性迭代给出直观的解释。
In a sequence of papers (Krivine 2001; Krivine 2003; Krivine 2009), J.-L. Krivine introduced his notion of classical realisability for classical second-order logic and Zermelo–Fraenkel set theory. Moreover, in more recent work (Krivine 2008), he has considered forcing constructions on top of it with the ultimate aim of providing a realisability interpretation for the axiom of choice. The aim of the current paper is to show how Krivine's classical realisability can be understood as an instance of the categorical approach to realisability as started by Martin Hyland in Hyland (1982) and described in detail in van Oosten (2008). Moreover, we will give an intuitive explanation of the iteration of realisability as described in Krivine (2008).
脱敏谷氨酸受体塑造虎蝾螈视网膜神经节细胞的兴奋性突触输入。
DOI：
10.1523/jneurosci.15-09-06189.1995
发表时间：
1995
期刊：
The Journal of neuroscience : the official journal of the Society for Neuroscience.
影响因子：
--
作者：
Lukasiewicz,PD;Lawrence,JE;Valentino,TL
通讯作者：
Valentino,TL