Remarks on the elementary theories of formal and convergent power series

DOI10.4064/fm-105-3-229-239zbMath0526.13016OpenAlexW749768043MaRDI QIDQ5893847

Leonard Lipshitz, Joseph Becker

Publication date: 1980

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/211075

zbMATH Keywords

formal power series ringultrapowerconvergent power series ringsundecidable field

Mathematics Subject Classification ID

Decidability and field theory (12L05) Decidability of theories and sets of sentences (03B25) Applications of logic to commutative algebra (13L05) Formal power series rings (13F25) Power series rings (13J05) Ultraproducts and field theory (12L10)

Related Items (7)

The Diophantine Problem for Polynomial Rings and Fields of Rational Functions ⋮ The étale open topology over the fraction field of a Henselian local domain ⋮ Diophantine undecidability of \({\mathbb{C}{}}(t_ 1,t_ 2)\) ⋮ Lefschetz extensions, tight closure and big Cohen-Macaulay algebras ⋮ On the nonflatness of analytic tensor product ⋮ Solving power series equations. II: Change of ground field ⋮ Ultraproducts and approximation in local rings. I

This page was built for publication: Remarks on the elementary theories of formal and convergent power series