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

DOI10.2307/2275512MaRDI QIDQ4836046zbMATH OpenOpenAlexFDO

Authors Rolando B. Chuaqui, P. Suppes

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

saturationcontinuous functionsderivativesintegralnonstandard analysisinfinitesimalsabsolute consistencytranscendental functionsinfinitesimal 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)

Recommendations

• scientific article; zbMATH DE number 761272
• Publication:4729785
• Fragment of Nonstandard Analysis with a Finitary Consistency Proof
• Infinitesimal analysis. Part I.
• General theory of infinitesimals

Cites work

• scientific article; zbMATH DE number 50180 (Why is no real title available?)
• Internal set theory: A new approach to nonstandard analysis
• Radically Elementary Probability Theory. (AM-117)

Cited in

(20)

• Forcing in Proof Theory
• Metalogic, Schopenhauer and universal logic
• scientific article; zbMATH DE number 4037870 (Why is no real title available?)
• scientific article; zbMATH DE number 4038137 (Why is no real title available?)
• Mechanizing Nonstandard Real Analysis
• scientific article; zbMATH DE number 3971105 (Why is no real title available?)
• Future development of scientific structures closer to experiments: response to F. A. Muller
• Several unresolved conceptual problems of mathematical psychology
• Saturation and Σ₂-transfer for ERNA
• General theory of infinitesimals
• Fragment of Nonstandard Analysis with a Finitary Consistency Proof
• Intrinsic theories and computational complexity
• scientific article; zbMATH DE number 4130388 (Why is no real title available?)
• The Dirac delta function in two settings of reverse mathematics
• ERNA and Friedman's Reverse Mathematics
• 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02
• Dispensing with the continuum
• scientific article; zbMATH DE number 177651 (Why is no real title available?)
• More infinity for a better finitism
• Transfer and a supremum principle for ERNA

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

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