Fehrele's principle in nonstandard topology

Abstract

In nonstandard analysis, Fehrele's principle is a beautiful criterion for a set to be internal, stating that every galactic halic set is internal. In this note, we use this principle to prove some well-known results in topology, including slight generalisations of the Moore-Osgood theorem and Dini's theorem.