An Application of Logic to Analysis
Canadian journal of mathematics, Tome 28 (1976) no. 1, pp. 83-91

Voir la notice de l'article provenant de la source Cambridge University Press

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.
Becker, Joseph; Lipshitz, Leonard. An Application of Logic to Analysis. Canadian journal of mathematics, Tome 28 (1976) no. 1, pp. 83-91. doi: 10.4153/CJM-1976-009-x
@article{10_4153_CJM_1976_009_x,
     author = {Becker, Joseph and Lipshitz, Leonard},
     title = {An {Application} of {Logic} to {Analysis}},
     journal = {Canadian journal of mathematics},
     pages = {83--91},
     year = {1976},
     volume = {28},
     number = {1},
     doi = {10.4153/CJM-1976-009-x},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CJM-1976-009-x/}
}
TY  - JOUR
AU  - Becker, Joseph
AU  - Lipshitz, Leonard
TI  - An Application of Logic to Analysis
JO  - Canadian journal of mathematics
PY  - 1976
SP  - 83
EP  - 91
VL  - 28
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CJM-1976-009-x/
DO  - 10.4153/CJM-1976-009-x
ID  - 10_4153_CJM_1976_009_x
ER  - 
%0 Journal Article
%A Becker, Joseph
%A Lipshitz, Leonard
%T An Application of Logic to Analysis
%J Canadian journal of mathematics
%D 1976
%P 83-91
%V 28
%N 1
%U http://geodesic.mathdoc.fr/articles/10.4153/CJM-1976-009-x/
%R 10.4153/CJM-1976-009-x
%F 10_4153_CJM_1976_009_x

[1] 1. Artin, M., Algebraic approximation of structures over complete local rings, Inst, des Hautes Etudes Scientifiques, Publ. Math. 36 (1969) 23–58. Google Scholar

[2] 2. Becker, J., Parametrizations of analytic varieties, Trans. Amer. Math. Soc. 188 (1973) 265–292. Google Scholar

[3] 3. Becker, J., Ck weakly holomorphic functions on an analytic set, Proc. Amer. Math. Soc. 39 (1973) 89–93. Google Scholar

[4] 4. Becker, J. and Polking, J., Ck weakly holomorphic functions on an analytic curve, Rice University Studies Vol. 59, No. 2, 1–12: Proceedings of the Conference on Complex Analysis. Google Scholar

[5] 5. Becker, J., Holomorphic and differentiate tangent spaces to a complex analytic variety, preprint. Google Scholar

[6] 6. Bl∞m, T., Operateurs differentials sur les espaces analytiques complexe, Séminaire Pierre Lelong, Lecture Notes in Mathematics No. 71 (Berlin-Heidelberg-New York: Springer Verlag, 1968). Google Scholar

[7] 7. Gôdel, K., Die Vollstandigkeit der Axiome des logischen Funktionenkalkuls, Monatsch Phys. 37 (1930) 349–360. Google Scholar

[8] 8. Gunning, R. C., Lectures on complex analytic varieties—local parametrization theorem (Princeton University Press, 1970). Google Scholar

[9] 9. Jacobson, N., Lectures in abstract algebra, vol. 3 (Van Nostrand 1967). Google Scholar

[10] 10. Jaffee, M., The differential operators on the curve Xa — Yb, Ph.D. Dissertation, Brandeis University, 1972. Google Scholar

[11] 11. Malgrange, B., Sur les fonctions differentiables et les ensembles analytique, Bull. Soc. Math. Frances, 91 (1963) 113–127. Google Scholar

[12] 12. Mendelson, E., Introduction to mathematical logic (Van Nostrand 1963). Google Scholar

[13] 13. Seidenberg, A., Hyperplane sections of normal varieties, Trans. Amer. Math. Soc. 69 (1950) 354–386. Google Scholar

[14] 14. Siu, Y. T., 0N approximable and holomorphic functions on complex spaces, Duke Math. J. 36 (1969) 451–454. Google Scholar

[15] 15. Spallek, K., Differzierbare und holomorphe functionen auf analytischen mengen, Math. Ann. 161 (1965) 143–163. Google Scholar

[16] 16. Stoltzenberg, G., Constructive normalization of algebraic varieties, Bull. Amer. Math. Soc. 74 (1968) 595–599. Google Scholar

[17] 17. Stutz, J., The representation problem for differential operators on analytic sets, Math. Ann. 189 (1970) 121–133. Google Scholar

[18] 18. Zariski, O. and Samuel, P., Commutative algebra vols. 1 & 2, (Toronto-London, Van Nostrand 1960). Google Scholar

Cité par Sources :