Nonstandard Arithmetic and Reverse Mathematics

DOI10.2178/bsl/1140640945zbMath1101.03040OpenAlexW2134310526MaRDI 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 mathematicssecond-order arithmetichyperintegers

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Second- and higher-order arithmetic and fragments (03F35)

Related Items (12)

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

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

This page was built for publication: Nonstandard Arithmetic and Reverse Mathematics