This is a preview of subscription content, log in via an institution to check access.
References
Artin, M.: On the solutions of analytic equations, Inventiones 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 fileds I, II Amer. J. Math.,87, 605–648 (1965); III Ann. Math. (2),83, 437–456 (1966)
Becker, J.: A counterexample to Artin approximation with respect to subrings, Math. Ann.,230, 195–196 (1977)
Becker, J., Lipshitz, L.: Remarks on the elementary theories of formal and convergent power series, Fund. Math., (to appear)
Birch, B.J., McCann, K.: A criterion for thep-adic solubility of Diophantine equations, Quart. J. Math., Oxford, (2)18, 59–63 (1967)
Chang, C.C., Keisler, H.J.: Model Theory, North Holland, Amsterdam
Delon, F.: Résultats D'indécidabilité Dans Les Anneaux de Séries Formelles, (to appear)
Eršov, Yu.: On the elementary theory of maximal normed fields, Algebra i Logika,4, 31–69 (1965);5, 8–40 (1966);6, 31–37 (1967)
Greenberg, M.J.: Rational points in henselian discrete valuation rings, Publ. Math. I.H.E.S.31, 59–64 (1966)
Greenberg, M.J.: Strictly local solutions of diophantine equations, Pacific J. Math.,51, 143–153 (1974)
Lang, S.: Algebra, Addison-Wesley, 1965
Lascar, D.: Caractère effectif des théorèmes d'approximation de M. Artin, (to appear)
Luxemburg, W.A.J.: A General Theory of Monads. In: Applications of Model Theory to Algebra, Analysis and Probability, pp. 18–86, New York: Holt Rinehart and Winston, 1969
Nagata, M.: Local rings, Interscience, New York, 1962
Nerode, A.: A decision method forp-adic integral zeros of diophantine equations. Bull. A.M.S.69, 513–517 (1963)
Pfister, G., Popescu, D.: Die strenge Approximationseigenschaft lokaler Ringe, Inventiones Math.,30, 145–174 (1975)
Popescu, D.: A strong approximation theorem over discrete valuation rings, Rev. Roum. Math. Pures et Appl. Tome XX, No6, 659–692 (1975)
Robinson, A.: Elementary embeddings of fields of power series, Journal of Number Theory,2, 237–247 (1970)
van den Dries, L.: Model Theory of Fields, Thesis, Utrecht, June 1978
Author information
Authors and Affiliations
Additional information
Supported in part by the N.S.F.
Supported by the Belgian Nationaal Fonds voor Wetenschappelijk Onderzoek
The proofs in Sects. 2, 3 and 6 of this paper were found by L. van den Dries and the other three authors independently. Van den Dries would like to thank W. Baur for a helpful communication in connection with the proof of Theorem 2.1 below
Rights and permissions
About this article
Cite this article
Becker, J., Denef, J., Lipshitz, L. et al. Ultraproducts and approximation in local rings I. Invent Math 51, 189–203 (1979). https://doi.org/10.1007/BF01390228
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01390228