Holomorphic extension spaces and finite proper holomorphic surjections (Q1373111)

Let \(X\) be a complex space. \(X\) is called a holomorphic extension space if the following conditions are satisfied: a) every holomorphic map from a spreaded domain \(D\) over a Stein manifold to \(X\) can be holomorphically extended to the envelope of holomorphy of \(D\); b) if \(Z\) is a normal complex space and \(S\) is an analytic set in \(Z\) of codimension \(\geq 2\) then every holomorphic map \(f:Z\setminus S\to X\) can be holomorphically extended to \(Z\). The author proves that the property of the holomorphic extendibility is invariant under finite proper holomorphic surjective mappings.