Nonstandard Arithmetic and Reverse Mathematics

DOI10.2178/bsl/1140640945zbMath1101.03040MaRDI QIDQ5479570

H. Jerome Keisler

Publication date: 10 July 2006

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

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

zbMATH Keywords

reverse mathematics; second-order arithmetic; hyperintegers

Mathematics Subject Classification ID

03H15: Nonstandard models of arithmetic

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

Related Items

COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS, Nonstandard second-order arithmetic and Riemann's mapping theorem, Nonstandard arithmetic and recursive comprehension, Reverse mathematics and parameter-free transfer, Die another day, The strength of compactness in computability theory and nonstandard analysis, Infinitesimal analysis without the axiom of choice, NON-PRINCIPAL ULTRAFILTERS, PROGRAM EXTRACTION AND HIGHER-ORDER REVERSE MATHEMATICS, 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10, ERNA and Friedman's Reverse Mathematics, Relative arithmetic, Formalizing non-standard arguments in second-order arithmetic

Cites Work

• Unnamed Item
• The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method
• The strength of nonstandard methods in arithmetic
• On the strength of nonstandard analysis