Oka-Weil theorem and plurisubharmonic functions of uniform type (Q1373029)

The classical Oka-Weil theorem is well-known: Let \(K\) be a compact polynomially convex subset of the space \(\mathbb{C}^n\). Then every holomorphic function in a neighbourhood of \(K\) can be uniformly approximated by a sequence of polynomials on \(K\). This paper establishes a version of the classical Oka-Weil theorem for sequential approximation of plurisubharmonic functions defined on pseudoconvex domains in Fréchet spaces with a Schauder basis. Using this result, we characterize the property \(\overset{=}\Omega\) (introduced by D. Vogt) of nuclear Fréchet spaces with a Schauder basis by the uniformity of plurisubharmonic functions.