Basic subtoposes of the effective topos
Basic subtoposes of the effective topos
复制标题
有效主题的基本子主题
DOI：
10.1016/j.apal.2013.04.001
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
J. V. Oosten
中科院分区：
文献类型：
--
作者：
Sori Lee;J. V. Oosten
本文研究了Hyland的有效拓扑中的局部算子格。我们表明，这个格是一个自由的完成下内部sups索引的自然数对象，我们称之为基本的本地运营商所产生的。我们产生了许多新的本地运营商，我们采用了一个新的概念，视线，为了分析这些。本文证明了A.M.Pitts在他的论文中提出的一个局部算子，给出了一个具有经典算术的子拓扑。
We study the lattice of local operators in Hylandʼs Effective Topos. We show that this lattice is a free completion under internal sups indexed by the natural numbers object, generated by what we call basic local operators. We produce many new local operators and we employ a new concept, sight, in order to analyze these. We show that a local operator identified by A.M. Pitts in his thesis, gives a subtopos with classical arithmetic.
脱敏谷氨酸受体塑造虎蝾螈视网膜神经节细胞的兴奋性突触输入。
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