Nonstandard Hulls of Locally Exponential Lie Algebras

Isaac Goldbring

We show how to construct the nonstandard hull of certain infinite-dimensional Lie algebras in order to generalize a theorem of Pestov on the enlargeability of Banach-Lie algebras.…