Formal power series
DOI10.1007/BF02127794zbMATH Open0899.03028OpenAlexW2044371039MaRDI QIDQ5916404FDOQ5916404
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
saturationdecidabilityultraproductsvaluationvalued fieldsformal power series ringsAx-Kochen-Ershov Theoremformal power series fieldsordered group of exponentsvan den Dries-Greenberg Theorem
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)
