scientific article; zbMATH DE number 761272

MaRDI QIDQ4835607zbMATH OpenFDO

Authors P. Suppes, Rolando B. Chuaqui

Publication date 18 March 1996

zbMATH Keywords

differential equationsintegral equationsinfinitesimalsabsolutely consistentfinitarily consistentfragment of Robinson nonstandard analysismodelling of physical systems behaviour

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Nonstandard models in mathematics (03H05) Nonstandard analysis (26E35)

Recommendations

• Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof
• Fragment of Nonstandard Analysis with a Finitary Consistency Proof
• scientific article; zbMATH DE number 3971105
• scientific article; zbMATH DE number 4212363

Cited in

(8)

• Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof
• Future development of scientific structures closer to experiments: response to F. A. Muller
• Several unresolved conceptual problems of mathematical psychology
• Dispensing with the continuum
• Fragment of Nonstandard Analysis with a Finitary Consistency Proof
• More infinity for a better finitism
• The Dirac delta function in two settings of reverse mathematics
• Computational complexity of quantifier-free negationless theory of field of rational numbers

This page was built for publication:

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