Fragment of Nonstandard Analysis with a Finitary Consistency Proof

DOI10.2178/bsl/1174668218zbMath1129.03039OpenAlexW2077616102MaRDI QIDQ3594485

Michal Rössler, Emil Jeřábek

Publication date: 8 August 2007

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

Full work available at URL: https://doi.org/10.2178/bsl/1174668218

zbMATH Keywords

nonstandard analysisinfinitesimal calculusconsistency proof

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Nonstandard models in mathematics (03H05)

Related Items (4)

Transfer and a supremum principle for ERNA ⋮ More infinity for a better finitism ⋮ ERNA and Friedman's Reverse Mathematics ⋮ Saturation and Σ₂-transfer for ERNA

Cites Work

• Unnamed Item
• Unnamed Item
• Groundwork for weak analysis
• Cuts, consistency statements and interpretations
• Locally finite theories
• Standard foundations for nonstandard analysis
• Internal set theory: A new approach to nonstandard analysis
• Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof
• Non-standard analysis

This page was built for publication: Fragment of Nonstandard Analysis with a Finitary Consistency Proof