Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof

DOI10.2307/2275512zbMath0833.03021OpenAlexW2168796774MaRDI QIDQ4836046

Patrick Suppes, Rolando B. Chuaqui

Publication date: 6 March 1996

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

Full work available at URL: https://doi.org/10.2307/2275512

zbMATH Keywords

derivativesnonstandard analysistranscendental functionssaturationintegralcontinuous functionsinfinitesimalsabsolute consistencyinfinitesimal analysis

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Nonstandard models in mathematics (03H05) Nonstandard analysis (26E35) Proof theory and constructive mathematics (03F99)

Related Items (14)

Dispensing with the continuum ⋮ Several unresolved conceptual problems of mathematical psychology ⋮ Intrinsic theories and computational complexity ⋮ Transfer and a supremum principle for ERNA ⋮ Future development of scientific structures closer to experiments: response to F. A. Muller ⋮ Metalogic, Schopenhauer and Universal Logic ⋮ More infinity for a better finitism ⋮ The Dirac delta function in two settings of reverse mathematics ⋮ ERNA and Friedman's Reverse Mathematics ⋮ Fragment of Nonstandard Analysis with a Finitary Consistency Proof ⋮ Forcing in Proof Theory ⋮ 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02 ⋮ Saturation and Σ₂-transfer for ERNA ⋮ Mechanizing Nonstandard Real Analysis

Cites Work

• Unnamed Item
• Radically Elementary Probability Theory. (AM-117)
• Internal set theory: A new approach to nonstandard analysis

This page was built for publication: Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof