Strongly plurisubharmonic exhaustion functions on 1-convex spaces (Q789577)

In this paper it is proved that any 1-convex space X carries a strongly plurisubharmonic exhaustion function \(\phi:X\to [-\infty,\infty).\) Moreover \(\phi\) can be chosen -\(\infty\) exactly on the exceptional set S of X and real analytic outside S. - The key ingredients of the proof are the analytic version of Chow's lemma, due to Hironaka, and the identity between plurisubharmonic and weakly plurisubharmonic functions, due to Fornæss and Narasimhan.