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