Extended use of IST

Annals of Pure and Applied Logic 58 (1):73-92 (1992)
  Copy   BIBTEX

Abstract

Van den Berg, I.P., Extended use of IST, Annals of Pure and Applied Logic 58 73–92. Internal Set Theory is an axiomatic approach to nonstandard analysis, consisting of three axiom schemes, Transfer , Idealization , and Standardization . 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

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(92)90035-x

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,809

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Combinatorial principles in nonstandard analysis.Mauro Nasso & Karel Hrbacek - 2003 - Annals of Pure and Applied Logic 119 (1-3):265-293.
Combinatorial principles in nonstandard analysis.Mauro Di Nasso & Karel Hrbacek - 2003 - Annals of Pure and Applied Logic 119 (1-3):265-293.
A constructive approach to nonstandard analysis.Erik Palmgren - 1995 - Annals of Pure and Applied Logic 73 (3):297-325.
Neocompact quantifier elimination in structures based on Banach spaces.Stefano Baratella & Siu-Ah Ng - 2001 - Annals of Pure and Applied Logic 111 (1-2):115-143.
The strength of compactness in Computability Theory and Nonstandard Analysis.Dag Normann & Sam Sanders - 2019 - Annals of Pure and Applied Logic 170 (11):102710.
An axiomatics for nonstandard set theory, based on von Neumann–Bernays–Gödel Theory.P. V. Andreev & E. I. Gordon - 2001 - Journal of Symbolic Logic 66 (3):1321-1341.
The syntax of nonstandard analysis.Edward Nelson - 1988 - Annals of Pure and Applied Logic 38 (2):123-134.
Uniqueness, collection, and external collapse of cardinals in ist and models of peano arithmetic.V. Kanovei - 1995 - Journal of Symbolic Logic 60 (1):318-324.
A set of axioms for nonstandard extensions.Abhijit Dasgupta - 2011 - Mathematical Logic Quarterly 57 (5):485-493.
Nonstandard second-order arithmetic and Riemannʼs mapping theorem.Yoshihiro Horihata & Keita Yokoyama - 2014 - Annals of Pure and Applied Logic 165 (2):520-551.

Analytics

Added to PP
2014-01-16

Downloads
29 (#772,073)

6 months
8 (#575,465)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

View all 6 citations / Add more citations

References found in this work

The syntax of nonstandard analysis.Edward Nelson - 1988 - Annals of Pure and Applied Logic 38 (2):123-134.

Add more references