Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof
DOI10.2307/2275512zbMATH Open0833.03021OpenAlexW2168796774MaRDI QIDQ4836046FDOQ4836046
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
Recommendations
saturationcontinuous functionsderivativesintegralnonstandard analysisinfinitesimalsabsolute consistencytranscendental functionsinfinitesimal analysis
Nonclassical and second-order set theories (03E70) Nonstandard models in mathematics (03H05) Nonstandard analysis (26E35) Proof theory and constructive mathematics (03F99)
Cites Work
Cited In (20)
- Title not available (Why is that?)
- Future development of scientific structures closer to experiments: response to F. A. Muller
- Title not available (Why is that?)
- Title not available (Why is that?)
- Several unresolved conceptual problems of mathematical psychology
- Title not available (Why is that?)
- Saturation and Σ2-transfer for ERNA
- Transfer and a supremum principle for ERNA
- Fragment of Nonstandard Analysis with a Finitary Consistency Proof
- Dispensing with the continuum
- 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02
- General theory of infinitesimals
- Forcing in Proof Theory
- ERNA and Friedman's Reverse Mathematics
- Mechanizing Nonstandard Real Analysis
- Metalogic, Schopenhauer and universal logic
- More infinity for a better finitism
- Intrinsic theories and computational complexity
- The Dirac delta function in two settings of reverse mathematics
- Title not available (Why is that?)
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)
