Oka 1950: sheaf of holomorphic functions on complex manifold is coherent. Cartan A,B theorems: H^q(X,F) = 0 for q ≥ 1 on Stein manifold. Foundation of complex-analytic geometry; generalised to complex spaces by Grauert.
Oka 1950: sheaf of holomorphic functions on complex manifold is coherent. Cartan A,B theorems: H^q(X,F) = 0 for q ≥ 1 on Stein manifold. Foundation of complex-analytic geometry; generalised to complex spaces by Grauert.