Nonstandard Arithmetic and Reverse Mathematics

DOI10.2178/BSL/1140640945MaRDI QIDQ5479570zbMATH OpenOpenAlexFDO

Authors H. Jerome Keisler

Publication date 10 July 2006

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

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

zbMATH Keywords

hyperintegersreverse mathematicssecond-order arithmetic

Mathematics Subject Classification ID

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

Recommendations

• Nonstandard arithmetic and recursive comprehension
• A nonstandard counterpart of WWKL
• Some nonstandard equivalences in reverse mathematics
• Formalizing non-standard arguments in second-order arithmetic
• An Effective Conservation Result for Nonstandard Arithmetic

Cites work

• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• On the strength of nonstandard analysis
• The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method
• The strength of nonstandard methods in arithmetic

Cited in

(22)

• Reverse mathematics and parameter-free transfer
• Some nonstandard equivalences in reverse mathematics
• Die another day
• The strength of compactness in computability theory and nonstandard analysis
• Infinitesimal analysis without the axiom of choice
• Ultrafilters in reverse mathematics
• Non-principal ultrafilters, program extraction and higher-order reverse mathematics
• Reverse mathematics of first-order theories with finitely many models
• A multi-sorted version of second order arithmetic
• 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
• scientific article; zbMATH DE number 4077395 (Why is no real title available?)
• Nonstandard second-order arithmetic and Riemann's mapping theorem
• scientific article; zbMATH DE number 513255 (Why is no real title available?)
• scientific article; zbMATH DE number 619555 (Why is no real title available?)
• Computability theory, nonstandard analysis, and their connections
• Partial impredicativity in reverse mathematics
• Nonstandard arithmetic and recursive comprehension
• A nonstandard counterpart of WWKL
• Multi-level nonstandard analysis and the axiom of choice

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5479570)