Axiomatizations of nonstandard analysis that are conservative extensions of classical systems of analysis, Applications of model theory to algebra, analysis, and probability (1967)

by GEORG KREISEL