Vector spaces over unspecified fields can be axiomatized as one-sorted structures, namely, abelian groups with the relation of parallelism. Parallelism is binary linear dependence. When equipped with the n-ary relation of linear dependence for some positive integer n, a vector-space is existentially closed if and only if it is n-dimensional over an algebraically closed field. In the signature with an n-ary predicate for linear dependence for each positive integer n, the theory of infinite-dimensional vector spaces over algebraically closed fields is (...) the model-completion of the theory of vector spaces. (shrink)

For every natural numberm, the existentially closed models of the theory of fields withmcommuting derivations can be given a first-order geometric characterization in several ways. In particular, the theory of these differential fields has a model-companion. The axioms are that certain differential varieties determined by certain ordinary varieties are nonempty. There is no restriction on the characteristic of the underlying field.

The model companion of the theory of fields with valuation and automorphism exists. A counterexample shows that the theory of models of ACFA equipped with valuation is not this model companion.

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.