[FOM] "Galaxies"

Martin Davis martin at eipye.com
Thu Jul 31 00:45:30 EDT 2003


Harvey Friedman has asked about the term "Galaxies" in nonstandard 
analysis. It was introduced by Abraham Robinson in his original monograph 
on the subject.

Martin




More information about the FOM mailing list