Differential forms in the model theory of differential fields

DOI10.2178/JSL/1058448448MaRDI QIDQ4650264zbMATH OpenOpenAlexFDO

Authors

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)

Recommendations

• The model theory of differential fields with finitely many commuting derivations
• Fields with several commuting derivations
• A geometric model of an arbitrary differentially closed field of characteristic zero
• Geometric characterizations of existentially closed fields with operators
• Geometric axioms for differentially closed fields with several commuting derivations

Cites work

• scientific article; zbMATH DE number 3155247 (Why is no real title available?)
• scientific article; zbMATH DE number 3687544 (Why is no real title available?)
• A note on the axioms for differentially closed fields of characteristic zero
• Generic automorphisms of fields
• Model completion of Lie differential fields
• Model theory of difference fields
• Some counterexamples to separation of variables
• Élie Cartan and his mathematical work

Cited in

(14)

• Differential arcs and regular types in differential fields
• The theory of the exponential differential equations of semiabelian varieties
• Differentially large fields
• The model theory of differential fields with finitely many commuting derivations
• scientific article; zbMATH DE number 3944019 (Why is no real title available?)
• Some elements of Lie-differential algebra and a uniform companion for large Lie-differential fields
• Geometric characterizations of existentially closed fields with operators
• Chains of theories and companionability
• Model completion of Lie differential fields
• The uniform companion for large differential fields of characteristic 0
• Geometric axioms for differentially closed fields with several commuting derivations
• On model complete differential fields
• A geometric model of an arbitrary differentially closed field of characteristic zero
• Model theory of partial differential fields: From commuting to noncommuting derivations

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4650264)