scientific article; zbMATH DE number 69482

MaRDI QIDQ4014989zbMATH OpenFDO

Authors Roberto Ribeiro Baldino

Publication date 10 November 1992

zbMATH Keywords

mean-value theoremrational functionshyperreal numbersnonstandard analysisintermediate value theoremhyperrational numbersconstruction of real numbers

Mathematics Subject Classification ID

Nonstandard analysis (26E35)

Recommendations

• The monotonic sequence theorem and measurement of lengths and areas in axiomatic non-standard hyperrational analysis
• scientific article; zbMATH DE number 1497628
• scientific article; zbMATH DE number 952410
• Mechanizing Nonstandard Real Analysis
• scientific article; zbMATH DE number 935170

Cited in

(1)

• An integer construction of infinitesimals: toward a theory of eudoxus hyperreals

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 Q4014989)