Nonstandard Models in Recursion Theory and Reverse Mathematics
Nonstandard Models in Recursion Theory and Reverse Mathematics
复制标题
递归理论和逆向数学中的非标准模型
DOI：
10.1017/bsl.2014.14
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Yue Yang
中科院分区：
文献类型：
--
作者：
C. Chong;Wei Li;Yue Yang
本文综述了非标准模型在递归理论和逆向数学中的研究。本文讨论了非标准模型中有效可计算性的关键概念和技术，以及它们在二阶算术子系统中的组合原理问题中的应用。特别注意的是有关原则拉姆齐定理对。
We give a survey of the study of nonstandard models in recursion theory and reverse mathematics. We discuss the key notions and techniques in effective computability in nonstandard models, and their applications to problems concerning combinatorial principles in subsystems of second order arithmetic. Particular attention is given to principles related to Ramsey’s Theorem for Pairs.
关于拉姆齐对定理
DOI：
--
发表时间：
2011
期刊：
影响因子：
--
作者：
Keita Yokoyama;Sam Sanders;Takahiro Yamamoto;坂井哲;A. Shioura;Yu Kawakami;S. Kusuoka and S. Liang;Keita Yokoyama
通讯作者：
Keita Yokoyama