This is a preview of subscription content, log in via an institution to check access.
References
Aberth, O.: The failure in computable analysis of a classical existence theorem for differential equations. Proc. AMS30, 151–156 (1971)
Artin, M.: On the solutions of analytic equations. Invent. Math.5, 277–291 (1968)
Artin, M.: Algebraic approximation of structures over complete local rings. Publ. Math. I.H.E.S.36, 23–58 (1969)
Ax, J., Kochen, S.: Diophantine problems over local fields III. Ann. Math.83, 437–456 (1966)
Becker, J., Denef, J., Lipshitz, L.: Further remarks on the elementary theory of formal power series rings. In: Model theory of algebra and arithmetic. Proceedings Karpacz, Poland (1979). Lecture Notes in Mathematics, Vol. 834. Berlin, Heidelberg, New York: Springer 1979
Becker, J., Denef, J., Lipshitz, L., van den Dries, L.: Ultraproducts and approximation in local rings I.Invent. Math.51, 189–203 (1979)
Birch, B.J., McCann, K.: A criterion for thep-adic solubility of Diophantine equations. Quart. J. Math. Oxford18, 54–63 (1967)
Blum, L.: Ph. D. Thesis, M.I.T. (1968)
Denef, J.: The diophantine problem for polynomial rings and fields of rational functions. Trans. A.M.S.242, 391–399 (1978)
Denef, J., Lipshitz, L.: Ultraproducts and approximation in local rings II. Math. Ann.253, 1–28 (1980)
Greenberg, M.: Rational points in henselian discrete valuation rings. Publ. Math. I.H.E.S.31, 59–64 (1966)
Hurwitz, A.: Sur le développement des fonctions satisfaisant à une équation differentielle algébrique. Ann. Ecole Norm. Sup.6, 327–332 (1889)
Kaplansky, I.: An introduction to differential algebra. Actualités Scientifiques et Industrielles No. 1251. Paris: Hermann 1957
Lang, S.: Algebra. New York: Addison Wesley 1965
Mahler, K.: Lectures on transcendental numbers. Lecture notes in Mathematics, Vol. 546. Berlin, Heidelberg, New York: Springer 1976
Maillet, E.: Sur les series divergentes et les équations differentielles. Ann. Sci. Ecole Norm. Sup. Ser. 3,20, 487–518 (1903)
Malgrange, B.: Sur les points singuliers des équations differentielles. L'Enseignement Math.20, 147–176 (1974)
Matijaseviĉ, Yu.: Enumerable sets are diophantine. Dokl. Akad. Nauk SSSR191, 279–282 (1970)=Sov. Math. Dokl.11, 354–357 (1970)
Mumford, D.: Introduction to algebraic geometry. Mimeographed notes
Popken J.: Über arithmetische Eigenschaften analytisches Functionen. Amsterdam: North-Holland 1935
Pour-el, M., Richards, I.: A computable ordinary differential equation which possesses no computable solution. Ann. Math. Logic17, 61–90 (1979)
Pour-el, M., Richards, I.: The wave equation with computable initial data such that its unique solution is not computable. Adv. Math.39, 215–239 (1981)
Ritt, J.F.: Differential algebra. AMS colloquium publications XXXIII (1950)
Robinson, A.: On the concept of a differentially closed field. Bull. Res. Counc. Israel8F, 113–128 (1959)
Rubel, L.: An elimination theorem for systems of algebraic differential equations. Houston J. of Math.8, 289–295 (1982)
Seidenberg, A.: An elimination theory for differential algebra, Cal. U. Publ. Math. (New Ser)3, 31–36 (1956)
Sibuya, Y., Sperber, S.: Arithmetic properties of power series solutions of algebraic differential equations. Ann. Math.113, 111–157 (1981)
Singer, M.: The model theory of ordered differential fields. J. Symb. Logic43, 82–91 (1978)
Wood, C.: The model theory of differential fields revisited. Israel J. of Math.25, 331–352 (1976)
Author information
Authors and Affiliations
Additional information
The first author thanks the Institute for Advanced Study for its hospitality and support. The second author thanks the N.S.F. for its support
Rights and permissions
About this article
Cite this article
Denef, J., Lipshitz, L. Power series solutions of algebraic differential equations. Math. Ann. 267, 213–238 (1984). https://doi.org/10.1007/BF01579200
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01579200