On Levi's problem and the embedding of real-analytic manifolds

Grauert’s 1958 On Levi’s problem and the embedding of real-analytic manifolds, published in Annals of Mathematics, is one of the program’s working technical references. Cited in Book II (Categorical Holomorphy), Part 11, Chapter Why τ³ Has No Dimensional Ladder, where the program draws on it in the context of “The reason, as Grauert showed , is that complex subvarieties living in the boundary obstruct biholomorphic flexibility.”