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

DOI10.4064/FM-112-3-215-229MaRDI QIDQ3661692zbMATH OpenOpenAlexFDO

Authors 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)

• Éz fields
• Kaplansky fields andp-algebraically closed fields
• Formal power series
• Théorie des modèles pour des anneaux de fonctions entières et des corps de fonctions méromorphes
• Subfields of ample fields. Rational maps and definability
• Infinitesimally stable theories of henselian rings
• The algebra and model theory of tame valued fields
• Sur la linéarité de la fonction de Artin
• 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

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)