Périodicité des théories élémentaires des corps de séries formelles itérées

DOI10.2307/2274057zbMath0628.03019OpenAlexW4252004900MaRDI QIDQ3764135

Françoise Delon

Publication date: 1986

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274057

zbMATH Keywords

periodicityfirst-order theorieselementary equivalencegeneralized power series fieldsiterated power series fieldselementary inclusionAx/Kochen-Ershov theoremdefinability of valuations in the language of rings

Mathematics Subject Classification ID

Decidability and field theory (12L05) Model-theoretic algebra (03C60) Formal power series rings (13F25) Model theory of fields (12L12) Field extensions (12F99)

Related Items (2)

Corps équivalents à leur corps de séries ⋮ Produits lexicographiques de groupes ordonnés: Isomorphisme et équivalence élémentaire. (Lexicographic products of ordered groups: isomorphism and elementary equivalence)

This page was built for publication: Périodicité des théories élémentaires des corps de séries formelles itérées