BibTeX
CSL-JSON
MLA
Harvard
NONSTANDARD MODELS IN RECURSION THEORY AND REVERSE MATHEMATICS
release_bijt7z5h2bgm3gnwbb45k76ctu
by
C. T. CHONG,
WEI LI,
YUE YANG
Published
in Bulletin of Symbolic Logic
by Cambridge University Press (CUP).
2014 Volume 20, Issue 02, p170-200
Abstract
<jats:title>Abstract</jats:title>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.
In application/xml+jats format
Archived Files and Locations
application/pdf
459.8 kB
file_blh3xwncefao3eghcyzehwclpm
| |
application/pdf
338.6 kB
file_krwlm35qkbappahxrdbuqmriam
|
www.math.nus.edu.sg (web) web.archive.org (webarchive) |
application/pdf
391.9 kB
file_n4ilwt64zram3mwa6ylcemcklu
|
www.logic.univie.ac.at (web) web.archive.org (webarchive) |
application/pdf
335.4 kB
file_qvthaqxie5c5hajc5mo6mnq7he
|
web.archive.org (webarchive) www.math.nus.edu.sg (web) |
Read Archived PDF
Preserved and Accessible
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links
oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar