Article thumbnail

Extended use of IST

By I.P. Van den Berg


AbstractVan den Berg, I.P., Extended use of IST, Annals of Pure and Applied Logic 58 (1992) 73–92. Internal Set Theory is an axiomatic approach to nonstandard analysis, consisting of three axiom schemes, Transfer (T), Idealization (I), and Standardization (S). We show that the range of application of these axiom schemes may be enlarged with respect to the original formulation. Not only more kinds of formulas are allowed, but also different settings. Many examples illustrate these extensions. Most concern formal aspects of nonstandard asymptotics

Publisher: Published by Elsevier B.V.
Year: 1992
DOI identifier: 10.1016/0168-0072(92)90035-X
OAI identifier:

Suggested articles

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.