Publication:3947665
From MaRDI portal
zbMath0487.03040MaRDI QIDQ3947665
Publication date: 1982
distributions; differential equations; computable functions; mathematical economics; hyperreal numbers; non standard analysis; infinite extensions; monad of a filter; Galois theory of finite extensions; non standard methods; non standard models; translation algorithm for topological formulas
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03H05: Nonstandard models in mathematics
30G06: Non-Archimedean function theory
26E35: Nonstandard analysis
54J05: Nonstandard topology
Related Items
The surfaces capable of division into infinitesimal squares by their curves of curvature: a nonstandard-analysis approach to classical differential geometry., A hyperfinite flat integral for generalized random fields, Extended use of IST, An elementary geometric nonstandard proof of the Jordan curve theorem, Monadic Properties of Uniformities