Publication:5916404

DOI10.1007/BF02127794zbMATH Open0899.03028OpenAlexW2044371039MaRDI QIDQ5916404FDOQ5916404

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

saturationdecidabilityultraproductsvaluationvalued fieldsformal power series ringsAx-Kochen-Ershov Theoremformal power series fieldsordered group of exponentsvan den Dries-Greenberg Theorem

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (9)

• Formal power series solutions in a parameter
• Submonoids of the formal power series
• Constructing higher order schemes by formal power series
• Formal power series and Hadamard product
• Associative power series
• Title not available (Why is that?)
• Extension of formal power series solutions
• Ranking and formal power series
• Title not available (Why is that?)

Recommendations

• On composition of formal power series 👍 👎
• On composite formal power series 👍 👎
• Formal power series 👍 👎
• Formal power series and Hadamard product 👍 👎
• Formal power series of logarithmic type 👍 👎
• Sequences of formal power series 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Formal power series

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