u plurisubharmonic: subharmonic on every complex line. Levi pseudoconvex domain: boundary admits exhausting plurisubharmonic function. Equivalent to domain-of-holomorphy (Oka 1942). Foundation for several-complex-variables analysis.
u plurisubharmonic: subharmonic on every complex line. Levi pseudoconvex domain: boundary admits exhausting plurisubharmonic function. Equivalent to domain-of-holomorphy (Oka 1942). Foundation for several-complex-variables analysis.