The model theory of differential fields with finitely many commuting derivations
From MaRDI portal
Publication:4508268
DOI10.2307/2586576zbMath0960.03031MaRDI 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
03C60: Model-theoretic algebra
03C45: Classification theory, stability, and related concepts in model theory
12L12: Model theory of fields
03C10: Quantifier elimination, model completeness, and related topics
Related Items
A nullstellensatz and a positivstellensatz for ordered differential fields, Model theory of differential fields with finite group actions, Partial differential Chow forms and a type of partial differential Chow varieties, Generic derivations on o-minimal structures, SOME DEFINABLE GALOIS THEORY AND EXAMPLES, The uniform companion for large differential fields of characteristic 0, Algorithms yield upper bounds in differential algebra, Bertini theorems for differential algebraic geometry, Generic differential equations are strongly minimal, Completeness in partial differential algebraic geometry, Superstability and central extensions of algebraic groups, Algebraic differential equations from covering maps, Geometric axioms for differentially closed fields with several commuting derivations, Generalized Picard-Vessiot extensions and differential Galois cohomology, Indecomposability for differential algebraic groups, A simple criterion, Isogeny in superstable groups, Some elements of Lie-differential algebra and a uniform companion for large Lie-differential fields, On the model companion of partial differential fields with an automorphism, On Linear Dependence Over Complete Differential Algebraic Varieties, Chains of theories and companionability, Relative D-groups and differential Galois theory in several derivations, Model theory of partial differential fields: From commuting to noncommuting derivations
Cites Work
