Differential forms in the model theory of differential fields

DOI10.2178/JSL/1058448448zbMATH Open1060.03055OpenAlexW2128915946MaRDI QIDQ4650264FDOQ4650264

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Some counterexamples to separation of variables
• Model theory of difference fields
• Model completion of Lie differential fields
• A note on the axioms for differentially closed fields of characteristic zero
• Generic automorphisms of fields
• É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
• Title not available (Why is that?)
• 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)