Model completion of Lie differential fields
From MaRDI portal
Publication:1840457
DOI10.1016/S0168-0072(00)00025-7zbMath0968.03041MaRDI QIDQ1840457
Publication date: 14 September 2001
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
model completion; generic solutions; finite system of differential equations; Lie differential field; omega stability; PDE system
Related Items
Differential forms in the model theory of differential fields, Differential algebra for derivations with nontrivial commutation rules, Differential invariants of a Lie group action: syzygies on a generating set, Geometric axioms for differentially closed fields with several commuting derivations, Some elements of Lie-differential algebra and a uniform companion for large Lie-differential fields, Model theory of partial differential fields: From commuting to noncommuting derivations
Cites Work