Indécidabilité de la théorie des anneaux de séries formelles à plusieurs indéterminées

DOI10.4064/fm-112-3-215-229zbMath0515.12020OpenAlexW994246936MaRDI QIDQ3661692

Françoise Delon

Publication date: 1981

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

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

zbMATH Keywords

undecidabilityseveral variablespower series ringsconvergent power seriessecond order model of arithmetic

Mathematics Subject Classification ID

Decidability and field theory (12L05) Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Second- and higher-order arithmetic and fragments (03F35) Formal power series rings (13F25)

Related Items (10)

The algebra and model theory of tame valued fields ⋮ The étale open topology over the fraction field of a Henselian local domain ⋮ An analogue of Hilbert's 10th problem for fields of meromorphic functions over non-Archimedean valued fields ⋮ Formal power series ⋮ Infinitesimally stable theories of henselian rings ⋮ Subfields of ample fields. Rational maps and definability ⋮ Théorie des modèles pour des anneaux de fonctions entières et des corps de fonctions méromorphes ⋮ Sur la linéarité de la fonction de Artin ⋮ Éz fields ⋮ Kaplansky fields andp-algebraically closed fields

This page was built for publication: Indécidabilité de la théorie des anneaux de séries formelles à plusieurs indéterminées