The model theory of differential fields with finitely many commuting derivations
From MaRDI portal
Publication:4508268
DOI10.2307/2586576zbMath0960.03031OpenAlexW2110621999MaRDI QIDQ4508268
Publication date: 14 January 2001
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2586576
Model-theoretic algebra (03C60) Classification theory, stability, and related concepts in model theory (03C45) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (23)
Algorithms yield upper bounds in differential algebra ⋮ On the model companion of partial differential fields with an automorphism ⋮ Algebraic differential equations from covering maps ⋮ Model theory of differential fields with finite group actions ⋮ Chains of theories and companionability ⋮ Relative D-groups and differential Galois theory in several derivations ⋮ Generalized Picard-Vessiot extensions and differential Galois cohomology ⋮ Bertini theorems for differential algebraic geometry ⋮ Superstability and central extensions of algebraic groups ⋮ Generic differential equations are strongly minimal ⋮ Geometric axioms for differentially closed fields with several commuting derivations ⋮ SOME DEFINABLE GALOIS THEORY AND EXAMPLES ⋮ Partial differential Chow forms and a type of partial differential Chow varieties ⋮ Isogeny in superstable groups ⋮ Some elements of Lie-differential algebra and a uniform companion for large Lie-differential fields ⋮ Generic derivations on o-minimal structures ⋮ Indecomposability for differential algebraic groups ⋮ A nullstellensatz and a positivstellensatz for ordered differential fields ⋮ The uniform companion for large differential fields of characteristic 0 ⋮ A simple criterion ⋮ Completeness in partial differential algebraic geometry ⋮ On Linear Dependence Over Complete Differential Algebraic Varieties ⋮ Model theory of partial differential fields: From commuting to noncommuting derivations
Cites Work
This page was built for publication: The model theory of differential fields with finitely many commuting derivations
