Nonstandard Arithmetic and Reverse Mathematics
From MaRDI portal
Publication:5479570
DOI10.2178/bsl/1140640945zbMath1101.03040MaRDI QIDQ5479570
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
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