Abstract
We describe the immediate extensions of a one dimensional valuation ring V which could be embedded in some separation of a ultrapower of V with respect to a certain ultrafilter. For such extensions, a kind of Artin’s approximation holds.
Subject
Applied Mathematics,Geometry and Topology,Algebra and Number Theory,Analysis
Reference19 articles.
1. [1] M. Artin, Algebraic approximation of structures over complete local rings. Publ. Math. Inst. Hautes Etudes Sci. ' 36 (1969), 1, 23-58.
2. [2] M. Aschenbrenner, L. van den Dries, and J. van der Hoeven, Asymptotic differential algebra and model theory of transseries. Annals of Mathematics Studies 195, Princeton Univ. Press, Princeton, NJ, 2017.
3. [3] J. Becker, J. Denef, L. Lipshitz, and L. van der Dries, Ultraproducts and approximation in local rings I. Invent. Math. 51 (1979), 189-203.
4. [4] C.C. Chang and H.J. Keisler, Model Theory. Studies in Logic and the Foundations of Mathematics 73, North-Holland Publishing Co., Amsterdam, 1990.
5. [5] H. Hauser, The classical Artin approximation theorems. Bull. Amer. Math. Soc. 54 (2017), 595-633.