FIELDS WITH SEVERAL COMMUTING DERIVATIONS
From MaRDI portal
Publication:2921015
DOI10.1017/jsl.2013.19zbMath1337.03040arXiv0708.2769OpenAlexW2096856677MaRDI QIDQ2921015
No author found.
Publication date: 30 September 2014
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0708.2769
derivativemodel-companionmodel-completionexistentially closed modelfield with several commuting derivations
Model-theoretic algebra (03C60) Differential algebra (12H05) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (9)
Effective bounds for the consistency of differential equations ⋮ New order bounds in differential elimination algorithms ⋮ Chains of theories and companionability ⋮ Effective uniform bounding in partial differential fields ⋮ On bounds for the effective differential Nullstellensatz ⋮ New effective differential Nullstellensatz ⋮ Partial differential Chow forms and a type of partial differential Chow varieties ⋮ Proof mining and effective bounds in differential polynomial rings ⋮ Integrating Hasse-Schmidt derivations
Cites Work
- Differentially closed fields
- A note on the axioms for differentially closed fields of characteristic zero
- Generic automorphisms of fields
- Geometric characterizations of existentially closed fields with operators
- Model completion of Lie differential fields
- Introduction to model theory and to the metamathematics of algebra
- On the extending of models (IV)
- Some problems of definability in the lower predicate calculus
- Model theory of partial differential fields: From commuting to noncommuting derivations
- The uniform companion for large differential fields of characteristic 0
- Specializations in Differential Algebra
- Completing theories by forcing
This page was built for publication: FIELDS WITH SEVERAL COMMUTING DERIVATIONS