Highly Influenced

# Differential forms in the model theory of differential fields

@article{Pierce2003DifferentialFI, title={Differential forms in the model theory of differential fields}, author={David Pierce}, journal={J. Symb. Log.}, year={2003}, volume={68}, pages={923-945} }

- Published 2003 in J. Symb. Log.

Fields of characteristic zero with several commuting derivations can be treated as fields equipped with a space of derivations that is closed under the Lie bracket. The existentially closed instances of such structures can then be given a coordinate-free characterization in terms of differential forms. The main tool for doing this is a generalization of the Frobenius Theorem of differential geometry.

6 Citations

13 References

Similar Papers