[FOM] Definition of Galaxy

Martin Davis martin at eipye.com
Thu Jul 31 12:21:41 EDT 2003

Consider a metric space and consider also a nonstandard enlargement of it. 
For points in this enlargement the relation of being a finite distance 
apart is an equivalence relation. The "galaxies" are just the corresponding 
equivalence classes.


More information about the FOM mailing list