Extended use of IST

DOI10.1016/0168-0072(92)90035-XzbMath0777.03019MaRDI QIDQ1194245

I. P. Van den Berg

Publication date: 27 September 1992

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

monad; Internal Set Theory; Standardization; Idealization; Transfer; formalization of nonstandard analysis; prehalo; transfer for graphs; transfer for images

Mathematics Subject Classification ID

03H05: Nonstandard models in mathematics

Related Items

A decomposition theorem for neutrices, Asymptotic solutions of nonlinear difference equations, Asymptotics of families of solutions of nonlinear difference equations, On the relation between elementary partial difference equations and partial differential equations, Some extensions of the principles of idealization transfer and choice in the relative internal set theory, Internal approach to external sets and universes. I: Bounded set theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On solutions of polynomial growth of ordinary differential equations
• Nonstandard asymptotic analysis
• The syntax of nonstandard analysis
• Nonstandard analysis. A practical guide with applications
• Non-standard analysis and singular perturbations of ordinary differential equations
• Internal set theory: A new approach to nonstandard analysis
• Non-standard analysis