More infinity for a better finitism

DOI10.1016/j.apal.2010.06.003zbMath1223.03055OpenAlexW2004563126MaRDI QIDQ636387

Sam Sanders

Publication date: 26 August 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2010.06.003

zbMATH Keywords

metamathematicsnonstandard analysisElementary Recursive Nonstandard AnalysisERNAstratified set theorytransfer principles

Mathematics Subject Classification ID

Nonstandard models in mathematics (03H05) Nonstandard analysis (26E35)

Related Items (2)

The Dirac delta function in two settings of reverse mathematics ⋮ ERNA and Friedman's Reverse Mathematics

Cites Work

• Dispensing with the continuum
• Relative theory of internal sets
• Relative set theory: Internal view
• Saturation and Σ₂-transfer for ERNA
• Transfer and a supremum principle for ERNA
• Fragment of Nonstandard Analysis with a Finitary Consistency Proof
• Axiomatic foundations for Nonstandard Analysis
• Internal set theory: A new approach to nonstandard analysis
• Is Mathematical Rigor Necessary in Physics?
• Number theory and elementary arithmetic†
• Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: More infinity for a better finitism