Fixed point theorems for precomplete numberings
Fixed point theorems for precomplete numberings
复制标题
预完备编号的不动点定理
DOI：
10.1016/j.apal.2019.04.013
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
S. Terwijn
中科院分区：
文献类型：
--
作者：
H. Barendregt;S. Terwijn
在他的数论的背景下，Ershov证明了Kleene的递归定理对任何预完全数都成立。我们讨论这个结果的各种推广。除此之外，我们表明，Arslanov的完整性标准也适用于每一个预完全编号，我们讨论的关系与Visser的ADN定理，以及各种不动点定理的一致性或不一致性。最后，我们的基础编号部分组合代数，并证明了推广Ershov定理在这种情况下。
In the context of his theory of numberings, Ershov showed that Kleene's recursion theorem holds for any precomplete numbering. We discuss various generalizations of this result. Among other things, we show that Arslanov's completeness criterion also holds for every precomplete numbering, and we discuss the relation with Visser's ADN theorem, as well as the uniformity or nonuniformity of the various fixed point theorems. Finally, we base numberings on partial combinatory algebras and prove a generalization of Ershov's theorem in this context.
脱敏谷氨酸受体塑造虎蝾螈视网膜神经节细胞的兴奋性突触输入。
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