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

by GEORG KREISEL