Nonstandard hulls of locally uniform groups
We present a nonstandard hull construction for locally uniform groups in a spirit similar to Luxemburg's construction of the nonstandard hull of a uniform space. Our nonstandard hull is a local group rather than a global group. We investigate how this construction varies as one changes the family of pseudometrics used to construct the hull. We use the nonstandard hull construction to give a nonstandard characterization of Enflo's notion of groups that are uniformly free from small subgroups. We...
Nonstandard Integration Theory in Topological Vector Lattices.
Nonstandard models of arithmetic as an alternative basis for continuum considerations