zbMATH — the first resource for mathematics

The syntax of nonstandard analysis. (English) Zbl 0642.03040
The author continuous in this paper his influential study, started with the paper “Internal set theory: a new approach to nonstandard analysis” [Bull. Am. Math. Soc. 83, 1165-1198 (1977; Zbl 0373.02040)], of formalizations of principles of nonstandard analysis. While the aim of the first paper was to construct a formal system, Internal Set Theory (IST), which codified a large part of existing mathematical practice of n.a., in the present paper the author shows that “... the proofs in IST may be regarded as abbreviations of proofs within conventional mathematics...”. In this purely syntactical approach, the author follows one of A. Robinson’s original approaches which is characteristic by emphasizing new deductive procedures rather than new entities. The core of the paper is a reduction procedure for formulas and proofs of a theory \({\mathcal A}\) * \((=IST\) on a language enriched by the language of a model of a first order theory \({\mathcal A})\) into formulas and proofs of a theory \(\tilde {\mathcal A}\) \((=adequately\) enriched ZFC). This reduction procedure gives a solution to a problem posed by A. Robinson [J. Symb. Logic 38, 500-516 (1973; Zbl 0289.02002), problem No.11] which consisted of finding “... a purely syntactical transformation which correlates standard and nonstandard proofs of the same theorems in a large area...”.
Reviewer: R.Živaljević

03H05 Nonstandard models in mathematics
03C62 Models of arithmetic and set theory
03E70 Nonclassical and second-order set theories
Full Text: DOI
[1] Lawler, G.F., A self-avoiding random walk, Duke math. J., 47, 655-696, (1980) · Zbl 0445.60058
[2] Mendelson, E., Introduction to mathematical logic, (1964), Van Nostrand New York · Zbl 0192.01901
[3] Nelson, E., Internal set theory: a new approach to nonstandard analysis, Bull. amer. math. soc., 83, 1165-1198, (1977) · Zbl 0373.02040
[4] Robinson, A., Non-standard analysis, (1966), American Elsevier New York · Zbl 0151.00803
[5] Robinson, A., Mathematical problems, J. symbolic logic, 38, 500-515, (1973)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.