The model theory of differential fields revisited

DOI10.1007/BF02757008zbMath0346.02030OpenAlexW1990400223MaRDI QIDQ1233436

Carol Wood

Publication date: 1976

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02757008

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Differential algebra (12H05)

Related Items (15)

Regular separably closed rings ⋮ Stabilité polynômiale des corps différentiels ⋮ A Class of Differential Fields with Minimal Differential Closures ⋮ Differential and difference algebra ⋮ MODEL THEORY OF DERIVATIONS OF THE FROBENIUS MAP REVISITED ⋮ Separably closed fields with higher derivations I ⋮ Sheaves and prime model extensions ⋮ Dimensions, matroids, and dense pairs of first-order structures ⋮ A uniform method for proving lower bounds on the computational complexity of logical theories ⋮ Geometric axioms for existentially closed Hasse fields ⋮ Groupes stables, avec types génériques réguliers ⋮ Derivations of the Frobenius map ⋮ Model theory of fields with free operators in positive characteristic ⋮ Model completion of Lie differential fields ⋮ Power series solutions of algebraic differential equations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Differentially closed fields
• Constrained extensions of differential fields
• The number of non-isomorphic models of an unstable first-order theory
• The nonminimality of the differential closure
• Prime model extensions for differential fields of characteristic p ≠ 0
• Recursively presentable prime models
• The differential closure of a differential field
• Metamathematical problems
• [https://portal.mardi4nfdi.de/wiki/Publication:5181684 The Model Theory of Differential Fields of Characteristic p � 0]
• Categoricity in Power
• Uniqueness and characterization of prime models over sets for totally transcendental first-order theories
• Some Basic Theorems in Differential Algebra (Characteristic p, Arbitrary)

This page was built for publication: The model theory of differential fields revisited