More infinity for a better finitism

DOI10.1016/J.APAL.2010.06.003MaRDI QIDQ636387zbMATH OpenOpenAlexFDO

Authors 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

nonstandard analysismetamathematicsElementary Recursive Nonstandard AnalysisERNAstratified set theorytransfer principles

Mathematics Subject Classification ID

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

Recommendations

• Transfer and a supremum principle for ERNA
• Saturation and Σ₂-transfer for ERNA
• ERNA and Friedman's Reverse Mathematics
• Developments in Constructive Nonstandard Analysis
• Reverse-engineering reverse mathematics

Cites work

• scientific article; zbMATH DE number 3525429 (Why is no real title available?)
• scientific article; zbMATH DE number 1215493 (Why is no real title available?)
• scientific article; zbMATH DE number 1024382 (Why is no real title available?)
• scientific article; zbMATH DE number 1144041 (Why is no real title available?)
• scientific article; zbMATH DE number 2106998 (Why is no real title available?)
• scientific article; zbMATH DE number 761272 (Why is no real title available?)
• scientific article; zbMATH DE number 3309179 (Why is no real title available?)
• scientific article; zbMATH DE number 2227817 (Why is no real title available?)
• scientific article; zbMATH DE number 2236625 (Why is no real title available?)
• Axiomatic foundations for Nonstandard Analysis
• Dispensing with the continuum
• Fragment of Nonstandard Analysis with a Finitary Consistency Proof
• Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof
• Internal set theory: A new approach to nonstandard analysis
• Is Mathematical Rigor Necessary in Physics?
• Number theory and elementary arithmetic†
• Relative set theory: internal view
• Relative theory of internal sets
• Saturation and Σ₂-transfer for ERNA
• Subsystems of second order arithmetic
• Transfer and a supremum principle for ERNA

Cited in

(6)

• Saturation and Σ₂-transfer for ERNA
• scientific article; zbMATH DE number 1860681 (Why is no real title available?)
• The Dirac delta function in two settings of reverse mathematics
• ERNA and Friedman's Reverse Mathematics
• Dispensing with the continuum
• Transfer and a supremum principle for ERNA

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

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