# Nonstandard Models in Recursion Theory and Reverse Mathematics

@article{Chong2014NonstandardMI,
title={Nonstandard Models in Recursion Theory and Reverse Mathematics},
author={Chi Tat Chong and Wei Li and Yue Yang},
journal={Bull. Symb. Log.},
year={2014},
volume={20},
pages={170-200}
}
• Published 1 June 2014
• Mathematics
• Bull. Symb. Log.
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.
RAMSEY’S HEOREM FOR PAIRS IN REVERSE MATHEMATICS
• Mathematics
• 2020
We consider the combinatorial principleRT2 derived from Ramsey’s Theorem for pairs, and discuss its prooftheoretic strength within the framework of reverse mathematics. Some of the techniques
RAMSEY’S THEOREM FOR PAIRS: A CASE STUDY IN REVERSE MATHEMATICS
• Mathematics
• 2019
We consider the combinatorial principleRT2 derived from Ramsey’s Theorem for pairs, and discuss its prooftheoretic strength within the framework of reverse mathematics. Some of the techniques
OPEN QUESTIONS ABOUT RAMSEY-TYPE STATEMENTS IN REVERSE MATHEMATICS
Questions which naturally arose during this study are state and the inability to answer those questions reveals some gaps in the understanding of the combinatorics of Ramsey’s theorem.
The reverse mathematics of Ramsey-type theorems
In this thesis, we investigate the computational content and the logical strength of Ramsey's theorem and its consequences. For this, we use the frameworks of reverse mathematics and of computable
Conservation theorems for the Cohesiveness Principle
We prove that the Cohesiveness Principle (COH ) is Π1 conservative over RCA0 + IΣn and over RCA0 + BΣn for all n ≥ 2. (The cases for n ≥ 3 are new.) Our approach is recursiontheoretic. We first
1-Generic Degrees Bounding Minimal Degrees Revisited
• C. Chong
• Computer Science
Computability and Complexity
• 2017
We show that over the base system $$P^-+\Sigma _2$$-bounding, the existence of a 1-generic degree $$<\mathbf {0''}$$ bounding a minimal degree is equivalent to $$\Sigma _2$$-induction.
Comparing the strength of diagonally non-recursive functions in the absence of $\Sigma^0_2$ induction
• Mathematics
• 2014
We prove that the statement "there is a $k$ such that for every $f$ there is a $k$-bounded diagonally non-recursive function relative to $f$" does not imply weak K\"onig's lemma over $\mathrm{RCA}_0 COMPARING THE STRENGTH OF DIAGONALLY NONRECURSIVE FUNCTIONS IN THE ABSENCE OF${\rm{\Sigma }}_2^0\$ INDUCTION
• Mathematics
The Journal of Symbolic Logic
• 2015
Abstract We prove that the statement “there is a k such that for every f there is a k-bounded diagonally nonrecursive function relative to f” does not imply weak König’s lemma over