Indécidabilité de la théorie des anneaux de séries formelles à plusieurs indéterminées
From MaRDI portal
Publication:3661692
DOI10.4064/fm-112-3-215-229zbMath0515.12020MaRDI QIDQ3661692
Publication date: 1981
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/211257
undecidability; several variables; power series rings; convergent power series; second order model of arithmetic
12L05: Decidability and field theory
03C60: Model-theoretic algebra
03B25: Decidability of theories and sets of sentences
03F35: Second- and higher-order arithmetic and fragments
13F25: Formal power series rings
Related Items
Théorie des modèles pour des anneaux de fonctions entières et des corps de fonctions méromorphes, Formal power series, The étale open topology over the fraction field of a Henselian local domain, The algebra and model theory of tame valued fields, Infinitesimally stable theories of henselian rings, Subfields of ample fields. Rational maps and definability, An analogue of Hilbert's 10th problem for fields of meromorphic functions over non-Archimedean valued fields, Éz fields, Sur la linéarité de la fonction de Artin, Kaplansky fields andp-algebraically closed fields