scientific article; zbMATH DE number 858680

zbMath0911.12005MaRDI QIDQ4872381

David Marker, Margit Messmer, Anand Pillay

Publication date: 20 March 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

fieldsstabilitymodel theorydifferential Galois theoryHilbert's 17th problemdifferential algebraNullstellensatzPicard-Vessiot extensionelimination of quantifiersreal closed fieldsmodel completenessalgebraically closed fieldselimination of imaginariesZariski spectrumstrongly normal extensionstheorem of Chevalleytheorem of Tarski-Seidenbergdifferential closuresZil'ber's conjecturegeometry of strongly minimal sets

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Differential algebra (12H05) Classification theory, stability, and related concepts in model theory (03C45) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10) Research exposition (monographs, survey articles) pertaining to field theory (12-02)

Related Items

On bilinear algorithms over fields of different characteristics ⋮ Autonomous first order differential equations ⋮ Unnamed Item ⋮ \(D\)-groups and the Dixmier-Moeglin equivalence ⋮ Algebraic differential equations from covering maps ⋮ On function field Mordell–Lang and Manin–Mumford ⋮ On the expressiveness and decidability of o-minimal hybrid systems ⋮ Weak modular Zilber-Pink with derivatives ⋮ Henselian residually \(p\)-adically closed fields ⋮ Differential Galois theory. II ⋮ Computing constraint sets for differential fields ⋮ Generic differential equations are strongly minimal ⋮ Supersimple structures with a dense independent subset ⋮ Co-theory of sorted profinite groups for PAC structures ⋮ Relative internality and definable fibrations ⋮ Effective uniform bounding in partial differential fields ⋮ DEFINABILITY OF DERIVATIONS IN THE REDUCTS OF DIFFERENTIALLY CLOSED FIELDS ⋮ Ideals in the enveloping algebra of the positive Witt algebra ⋮ Parameter identifiability and input-output equations ⋮ SOME DEFINABLE GALOIS THEORY AND EXAMPLES ⋮ New effective differential Nullstellensatz ⋮ Topological differential fields ⋮ Proof mining and effective bounds in differential polynomial rings ⋮ Quantifier elimination for algebraic $D$-groups ⋮ Elimination of unknowns for systems of algebraic differential-difference equations ⋮ Complete sets in differentially closed fields ⋮ Unnamed Item ⋮ Thorn independence in the field of real numbers with a small multiplicative group ⋮ Model theory and diophantine geometry ⋮ A CLASS OF FIELDS WITH A RESTRICTED MODEL COMPLETENESS PROPERTY ⋮ Generic expansions by a reduct ⋮ Definability of types and VC density in differential topological fields ⋮ Groups definable in separably closed fields ⋮ Subgroups of the additive group of a separably closed field ⋮ Profinite structures interpretable in fields ⋮ STRONG DENSITY OF DEFINABLE TYPES AND CLOSED ORDERED DIFFERENTIAL FIELDS ⋮ Computing all identifiable functions of parameters for ODE models ⋮ The isomorphism relation of theories with S-DOP in the generalised Baire spaces ⋮ MODEL THEORY AND MACHINE LEARNING ⋮ Equality is a jump ⋮ Automorphism groups of differentially closed fields ⋮ When any three solutions are independent ⋮ Topological fields with a generic derivation