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

monadInternal Set TheoryStandardizationIdealizationTransferformalization of nonstandard analysisprehalotransfer for graphstransfer for images

Mathematics Subject Classification ID

Nonstandard models in mathematics (03H05)

Related Items (8)

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 ⋮ A decomposition theorem for neutrices ⋮ Representation of integers: a nonclassical point of view ⋮ Asymptotic solutions of nonlinear difference equations ⋮ Asymptotics of families of solutions of nonlinear difference equations ⋮ On a sequence formed by iterating a divisor operator ⋮ On the relation between elementary partial difference equations and partial differential equations

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Extended use of IST