Formal power series

DOI10.1007/BF02127794zbMath0899.03028OpenAlexW2044371039MaRDI QIDQ5916404

Françoise Delon

Publication date: 1 December 1996

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02127794

zbMATH Keywords

decidabilityformal power series ringsvaluationsaturationultraproductsvalued fieldsAx-Kochen-Ershov Theoremformal power series fieldsordered group of exponentsvan den Dries-Greenberg Theorem

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Models with special properties (saturated, rigid, etc.) (03C50) Formal power series rings (13F25) Ultraproducts and related constructions (03C20) Model theory of fields (12L12)

Cites Work

• Fields of generalized power series
• Model theory
• Elementary embeddings of fields of power series
• Diophantine problems over local fields. III: Decidable fields
• Maximal fields with valuations
• Indécidabilité de la théorie des anneaux de séries formelles à plusieurs indéterminées
• Model Theoretic Algebra
• Allgemeine Bewertungstheorie.
• Diophantine Problems Over Local Fields I
• Decision procedures for real and p‐adic fields
• On Ordered Division Rings
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal power series