Valued Fields withKCommuting Derivations
From MaRDI portal
Publication:3422853
DOI10.1080/00927870600877985zbMath1109.03030OpenAlexW2136029078MaRDI QIDQ3422853
Publication date: 14 February 2007
Published in: Communications in Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00927870600877985
Model-theoretic algebra (03C60) Differential algebra (12H05) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10) Valued fields (12J10)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Complete theories
- Elimination of quantifiers in algebraic structures
- Real closed rings. II. Model theory
- Formally \(p\)-adic fields
- Substructures and uniform elimination for p-adic fields
- Embedding problems over large fields
- REAL CLOSED RINGS AND ORDERED VALUATION RING
- A structure theorem for differential algebras
- The uniform companion for large differential fields of characteristic 0