Proper holomorphic mappings between real-analytic pseudoconvex domains in \({\mathbb{C}}^ n\) (Q1112986)

The authors provide a ``simple proof'' that a proper holomorphic mapping between pseudoconvex domains D and D' of \({\mathbb{C}}^ n\) with real- analytic boundaries extends to a proper holomorphic map between neighborhoods of the closures of D and D'. Although the authors describe the proof as ``simple'', their arguments are technically rather involved. Heavy use is made of the implicit function theorem and formal power series techniques, as well as, the idea of ``complexification of a real hypersurface'' as developed by S. Webster, to whom the authors give special credit.