NONSTANDARD MODELS IN RECURSION THEORY AND REVERSE MATHEMATICS

DOI10.1017/bsl.2014.14zbMath1341.03098MaRDI QIDQ2925331

Yue Yang, Wei Li, Chi Tat Chong

Publication date: 21 October 2014

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/f1fd417fbd9b4b12d21ab0648d85a3f695353c9b

zbMATH Keywords

survey paper; nonstandard models; reverse mathematics; fragments of Peano arithmetic; combinatorial principles; Ramsey's theorem for pairs; reverse recursion theory

Mathematics Subject Classification ID

03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

03B30: Foundations of classical theories (including reverse mathematics)

03F35: Second- and higher-order arithmetic and fragments

03H05: Nonstandard models in mathematics

03D45: Theory of numerations, effectively presented structures