An application of internal objects to microlocal analysis in generalized function algebras
We illustrate the use of internal objects in the nonlinear theory of generalized functions by means of an application to microlocal analysis in Colombeau algebras.