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

DOI10.4064/FM-112-3-215-229zbMATH Open0515.12020OpenAlexW994246936MaRDI QIDQ3661692FDOQ3661692

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

undecidabilitypower series ringsseveral variablesconvergent power seriessecond order model of arithmetic

Mathematics Subject Classification ID

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

Cited In (10)

• Infinitesimally stable theories of henselian rings
• Kaplansky fields andp-algebraically closed fields
• Éz fields
• An analogue of Hilbert's 10th problem for fields of meromorphic functions over non-Archimedean valued fields
• The étale open topology over the fraction field of a Henselian local domain
• The algebra and model theory of tame valued fields
• 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
• Formal power series
• Sur la linéarité de la fonction de Artin

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3661692)