Nonstandard Analysis

Abstract

Zcitechr. f. math. Logik und Grundlagen d. Math. Rd. 1 6 , S . 297-318 ( 1 9 7 0 ) NONSTANDARD ANALYSIS by JAMES R. GEISER in Hanover, New Hampshire (U.S.A.)l) l) This research was supported in part by a Carnegie Grant at Dartmouth. 2, This point is debatable e.g. see A. ROBINSON [Sg] p. 47. ROBINSON uses a modification of the finite type theory developed by L. HENKIN [3].20 Ztsohr. f. math. Logik