Differential forms in the model theory of differential fields

DOI10.2178/jsl/1058448448zbMath1060.03055OpenAlexW2128915946MaRDI QIDQ4650264

No author found.

Publication date: 9 February 2005

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.jsl/1058448448

zbMATH Keywords

differential formsLie bracketdifferential fieldsfields with a space of derivations

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Differential algebra (12H05) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (5)

Chains of theories and companionability ⋮ Some elements of Lie-differential algebra and a uniform companion for large Lie-differential fields ⋮ The uniform companion for large differential fields of characteristic 0 ⋮ The theory of the exponential differential equations of semiabelian varieties ⋮ Model theory of partial differential fields: From commuting to noncommuting derivations

Cites Work

• Unnamed Item
• Unnamed Item
• A note on the axioms for differentially closed fields of characteristic zero
• Generic automorphisms of fields
• Model completion of Lie differential fields
• Some counterexamples to separation of variables
• Model theory of difference fields
• Élie Cartan and his mathematical work

This page was built for publication: Differential forms in the model theory of differential fields