FIELDS WITH SEVERAL COMMUTING DERIVATIONS

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

zbMATH Keywords

derivativemodel-companionmodel-completionexistentially closed modelfield with several commuting derivations

Mathematics Subject Classification ID

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