Nonstandard Analysis in Topology: Nonstandard and Standard Compactifications
Copyright © 2000 Association for Symbolic Logic.
Let (X, T) be a topological space, and ∗X a non–standard extension of X. There is a natural “standard” topology ST on ∗X generated by ∗G,where G ∈ T . The topological space (∗X,ST) will be used to study, in a systematic way, compactifications of (X, T).
S. Salbany and Todor D. Todorov. "Nonstandard Analysis in Topology: Nonstandard and Standard Compactifications" Journal of Symbolic Logic 65.4 (2000).
Available at: http://works.bepress.com/ttodorov/6