%0 Journal Article %T Nonstandard Hulls of Locally Exponential Lie Algebras %A Isaac Goldbring %J Mathematics %D 2008 %I arXiv %X 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. In the process, we consider a nonstandard smoothness condition on functions between locally convex spaces to ensure that the induced function between the nonstandard hulls is smooth. We also discuss some conditions on a function between locally convex spaces which guarantee that its nonstandard extension maps finite points to finite points. %U http://arxiv.org/abs/0804.0565v1