Hyperreal--Ultrafilter Construction of the Non-Standard Reals

Last modified on $Date: 1998/11/27 15:46:01 $


lcp@cl.cam.ac.uk