Extended use of IST

I.P. van den Berg

doi:10.1016/0168-0072(92)90035-X

Extended use of IST

I.P. van den Berg^*

^*Corresponding author for this work

Research output: Contribution to journal › Article › Academic › peer-review

11 Citations (Scopus)

77 Downloads (Pure)

Abstract

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.

Original language	English
Pages (from-to)	73-92
Number of pages	20
Journal	Annals of Pure and Applied Logic
Volume	58
Issue number	1
DOIs	https://doi.org/10.1016/0168-0072(92)90035-X
Publication status	Published - 3-Jul-1992

Access to Document

10.1016/0168-0072(92)90035-X

1-s2.0-016800729290035X-mainFinal publisher's version, 1.38 MBLicence: Elsevier

Handle.net

Persistent link

Cite this

@article{411aae129afb45edbb07c3d94d0172c4,

title = "Extended use of IST",

abstract = "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.",

author = "{van den Berg}, I.P.",

year = "1992",

month = jul,

day = "3",

doi = "10.1016/0168-0072(92)90035-X",

language = "English",

volume = "58",

pages = "73--92",

journal = "Annals of Pure and Applied Logic",

issn = "0168-0072",

number = "1",

}

TY - JOUR

T1 - Extended use of IST

AU - van den Berg, I.P.

PY - 1992/7/3

Y1 - 1992/7/3

N2 - 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.

AB - 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.

U2 - 10.1016/0168-0072(92)90035-X

DO - 10.1016/0168-0072(92)90035-X

M3 - Article

SN - 0168-0072

VL - 58

SP - 73

EP - 92

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

IS - 1

ER -

Extended use of IST

Abstract

Access to Document

Handle.net

Fingerprint

Cite this