Oka 1953 + Bremermann 1954: domain Omega is domain-of-holomorphy iff pseudoconvex (Levi-form positive-semidefinite on boundary); plurisubharmonic exhaustion functions.
Oka 1953 + Bremermann 1954: domain Omega is domain-of-holomorphy iff pseudoconvex (Levi-form positive-semidefinite on boundary); plurisubharmonic exhaustion functions.