An Application of Logic to Analysis

Abstract

Let F be a complex analytic subvariety of an open subset of Cn and p ϵ V let be the germs at p of holomorphic, weakly holomorphic, infinitely differentiable, and k times continuously differentiate functions respectively. Spallek [15] has shown that for any p £ V there exists an integer such that , generalizing the result of Malgrange [12] that .In [14], Siu proved Spallek's result from a more sheaf theoretic point of view and showed the minimal integer function is bounded on compact sets. Bloom [7] reproved Malgrange's result by using differential operators on varieties.