% This edition is being prepared after reception of the referee's report
% The latest round of editing started April 30, 2010
\documentclass[draft,reqno]{asl}

%\renewcommand{\baselinestretch}{1.5}
%\date{\today}

\thanks{Version of \today.}
\subjclass[2000]{03C10 (03C60, 12H05)}

\title{Fields with several commuting derivations}
\author{David Pierce}
\revauthor{Pierce, David}

\address{Mathematics Department\\
Middle East Technical University\\
Ankara 06531, Turkey}

\email{dpierce@metu.edu.tr}
\urladdr{http://metu.edu.tr/\urltilde dpierce}

%%%%%%%%%%%%%%%%%%%%%%%%%%%
%      More packages      %
%%%%%%%%%%%%%%%%%%%%%%%%%%%

%\usepackage{amsthm}  % I wanted \qedhere but the package caused problems
\usepackage{amscd}             % commutative diagram
\usepackage{pstricks,pst-node}
\usepackage[mathscr]{euscript}
\usepackage{stmaryrd}  % for \trianglelefteqslant
\usepackage{bm}
\usepackage[all]{xy}
%\usepackage{showlabels}  % this doesn't work well with the asl class
\usepackage[notref,notcite,color]{showkeys}    % this does work  [?]
\usepackage{verbatim}

%%%%%%%%%%%%%%%%%%%%%%%%%%%
%  Stylistic preferences  %
%%%%%%%%%%%%%%%%%%%%%%%%%%%

\renewcommand{\theenumi}{\roman{enumi}}
\renewcommand{\labelenumi}{(\theenumi)}
\renewcommand{\leq}{\leqslant}
\renewcommand{\geq}{\geqslant}
\renewcommand{\phi}{\varphi}
\renewcommand{\emptyset}{\varnothing}
%\renewcommand{\qedsymbol}{\circ} % This didn't work
\renewcommand{\land}{\mathrel{\&}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%  Typographical conventions  %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\newcommand{\myboxed}[2]{$#1$#2} % for symbolism (#1) being
				 % defined; #2 is the following
				 % punctuation.  (I was originally
				 % going to put a box around #1.)
\newcommand{\defn}[2]{\textbf{#1#2}}   % for terms (#1) being defined;
				       % #2 is punctuation.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%  Theorem-like environments  %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{corollary}[theorem]{Corollary}

%%%%%%%%%%%%
%  Logic   %
%%%%%%%%%%%%

\newcommand{\qsep}{\;}                 % follows a quantified variable
\newcommand{\Forall}[1]{\forall{#1}\qsep }
\newcommand{\Exists}[1]{\exists{#1}\qsep }
\newcommand{\Iff}{\iff}
\newcommand{\tuple}[1]{\bm{#1}}
\newcommand{\lto}{\Rightarrow}

%%%%%%%%%%%%%%%%%%
%  Model-theory  %
%%%%%%%%%%%%%%%%%%

\newcommand{\str}[1]{\mathfrak{#1}}            % structure
\newcommand{\diag}[1]{\operatorname{diag}(#1)} % (Robinson) diagram of
\newcommand{\robfn}[1]{\widehat{#1}}   % ``Robinson function''
\newcommand{\Th}[1]{\operatorname{Th}(#1)}     % theory of
\newcommand{\Mod}[1]{\operatorname{Mod}(#1)}   % class of models of
\newcommand{\proves}{\vdash}
\newcommand{\thy}[1]{\mathrm{#1}}      % for the following:
\newcommand{\ACF}{\thy{ACF}}           % algebraically closed fields
\newcommand{\SCF}{\thy{SCF}}           % separably closed fields
\newcommand{\DF}{\thy{DF}}             % differential fields
\newcommand{\DPF}{\thy{DPF}}           % differentially perfect fields
\newcommand{\ACFA}{\thy{ACFA}}         % fields with generic autom.
\newcommand{\mDF}{\text{$m$-$\thy{DF}$}} % fields with m derivations
\newcommand{\mDPF}{\text{$m$-$\thy{DPF}$}} % diff. perf. fields with m derivations
\newcommand{\DCF}{\thy{DCF}}           % differentially closed fields
\newcommand{\mDCF}{\text{$m$-$\thy{DCF}$}}  % differentially closed fields
				% with m derivations

%%%%%%%%%%%%%%%%
%  Set-theory  %
%%%%%%%%%%%%%%%%

\newcommand{\included}{\subseteq}      % inclusion
\newcommand{\pincluded}{\subset}       % proper inclusion    
\newcommand{\size}[1]{\lvert#1\rvert}
\usepackage{txfonts}               % needed for \omegaup in the following
\newcommand{\vnn}{\omegaup}        % von Neumann natural numbers
\newcommand{\tleq}{\trianglelefteqslant} % the total ordering of \vnn^m
\newcommand{\tl}{\vartriangleleft} % the strict total ordering of \vnn^m
\newcommand{\ichar}{\bm i}         % char. fn of {i} in \vnn^m
\newcommand{\jchar}{\bm j}         % char. fn of {j} in \vnn^m
\newcommand{\kchar}{\bm k}         % char. fn of {k} in \vnn^m

%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%  (Differential) Algebra  %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\newcommand{\Char}[1]{\operatorname{char}(#1)} % characteristic of a field
\newcommand{\sep}[1]{#1^{\mathrm{sep}}} % separable closure
\newcommand{\alg}[1]{#1^{\mathrm{alg}}} % algebraic closure
\newcommand{\Aff}{\mathbb{A}}       % affine space
\newcommand{\lrv}{E}               % a Lie-ring of vectors
\DeclareMathOperator{\dee}{d}      % derivation into the dual of this

\begin{document}

  \begin{abstract}
The existentially closed models of the theory of fields (of arbitrary
    characteristic) with an assigned finite number of commuting
    derivations can be given a first-order geometric characterization in several ways.
    In each case, the 
    existentially closed models are those models that contain
    points of certain differential varieties, which are
    determined by certain ordinary varieties.
  \end{abstract}

 \maketitle

% \tableofcontents

How can we tell whether a given system of partial differential equations
has a solution?  An answer given in this paper is that, if we
differentiate the equations enough times, and no contradiction arises,
then it never will, and the system is soluble.  Here, the meaning of
`enough times'
can be expressed \emph{uniformly;} this is one way of showing that the
theory, $\mDF$, of fields with a 
finite number $m$ of commuting derivations has a model-companion, $\mDCF$.
In fact, this theorem is worked out here (as Corollary~\ref{cor:dcf},
of Theorem~\ref{thm:dcf}), not in terms of polynomials, but 
in terms of the varieties that they define, and the function-fields of
these: in a word, the treatment is \emph{geometric.}

The model-companion of $\mDF_0$ (in
characteristic~$0$) has been axiomatized before, explicitly in terms
of differential polynomials: see \S~\ref{sect:several}.  The existence
of a model-companion of $\mDF$ (with no specified characteristic) appears to
be a new result when $m>1$ (despite a remark by Saharon Shelah
\cite[p.~315]{MR0344116}: `I am
quite sure that for characteristic $p$ as well, [making $m$ greater
  than $1$] does not make any essential
difference').

The theory of model-companions and model-completions was worked out
decades ago; perhaps for that very reason, it may be worthwhile to
review the theory here, as I do in \S~\ref{sect:mt}.  I try
to give the original references, when
I have been able to consult them.  
In \S~\ref{sect:one}, I review the various known characterizations of
existentially closed fields with single derivations.
In fact, little of this work is of use in the passage to several derivations; but this near-irrelevance is itself interesting.
In \S~\ref{sect:several}, I analyze the error of my earlier
attempt, in \cite{MR2000487}, to axiomatize $\mDCF_0$
in terms of
differential forms.  Something of value from this earlier work does remain: when we do have $\mDCF_0$, or more generally $\mDCF$, then we can obtain from it a model-companion of the theory of fields with $m$ derivations whose linear span over the field is closed under the Lie bracket.
In \S~\ref{sect:resolution}, I obtain $\mDCF$ itself. 



\section{Model-theoretic background}\label{sect:mt}

Let $\str M$ be an arbitrary (first-order) structure; its
theory is
\myboxed{\Th{\str M}}.
Let $T$ be an
arbitrary consistent (first-order) theory; its models compose the
class
\myboxed{\Mod T}.
Every class $\bm K$ of structures in some signature has a theory,
\myboxed{\Th{\bm K}}.  Then $\bm K\included\Mod{\Th{\bm K}}$; in case of
equality, $\bm K$ is \defn{elementary}.   Always, $\Th{\Mod T}=T$.

The structure $\str M$ has the universe $M$.  The structure denoted by
$\str M_M$ is the expansion of $\str M$ that has a name for every
element of $M$. 
Then $\str M$ embeds in $\str N$ if and only if $\str M_M$ embeds in
an expansion of $\str N$.  However, although the class of
structures in 
which $\str M$ embeds need not be elementary, the class of
structures in which $\str M_M$ embeds \emph{is} elementary.  The
theory of the latter class is the \defn{diagram}{} of $\str M$, or
\myboxed{\diag{\str M}}: it is
axiomatized by the quantifier-free sentences in $\Th{\str M_M}$
\cite[Thm 2.1.3, p.~24]{MR0153570}. 
The class of structures in which $\str M_M$
embeds \emph{elementarily}
is also elementary, and its theory is just \myboxed{\Th{\str M_M}}. 
The class of
substructures of models of $T$ is elementary, and its theory is
denoted by \myboxed{T_{\forall}}: this is axiomatized by the universal
sentences of $T$ \cite[Thm 3.3.2, p.~71]{MR0153570}.

By a \defn{system over}{} $\str M$, I mean a finite conjunction of
atomic and negated atomic formulas in the signature of $\str M_M$;
likewise, a system \defn{over}{} $T$ is in the signature
of $T$.  A structure $\str M$ \defn{solves}{} a system $\phi(\tuple x)$
if $\str M\models\Exists{\tuple x}\phi(\tuple x)$.  Note well here that
$\tuple x$, in boldface, is a \emph{tuple} of variables, perhaps
$(x^0,\dots,x^{n-1})$.  By an
\defn{extension}{} of a model of $T$, I mean another model of $T$ of
which the first is a substructure.  Two systems over a model $\str M$
of $T$ are \defn{equivalent}{} if they are soluble in the same extensions.

An \defn{existentially closed}{} model of $T$ is a model of $T$ that
solves every system over
itself that is soluble in some extension.  So a model $\str M$ of $T$ is
existentially closed if and only if
$T\cup\diag{\str M}\proves\Th{\str M_M}_{\forall}$, that is, every
extension of $\str M$ is a substructure of an elementary extension
  (\cite[\S~7]{MR0277372} or \cite[\S~2]{MR51:12518}).

A theory is \defn{model-complete}{} if its every
model is existentially closed.  An equivalent formulation explains the
name: $T$ is model-complete if and only if $T\cup\diag{\str M}$ is
complete whenever $\str M\models T$
\cite[Ch.~2]{MR0472504}.  

Suppose every model of $T$ has an existentially closed extension.
Such is the case when $T$ is \defn{inductive}, that is, $\Mod{T}$ is
closed under unions of chains \cite[Thm~7.12]{MR0277372}: equivalently,
$T=T_{\forall\exists}$ \cite{MR0089813,MR0103812}.  Suppose further
that we have a uniform
first-order way to tell when systems over models of $T$ are soluble in
extensions: more precisely, suppose there is a function
\begin{equation}\label{eqn:fn}
\phi(\tuple x,\tuple y)\longmapsto
\robfn{\phi}(\tuple x,\tuple y),
\end{equation}
where 
$\phi(\tuple x,\tuple y)$ ranges over the systems over $T$ (with
variables analyzed as shown),
such that, for every model $\str
M$ of $T$ and every tuple $\tuple a$ of parameters from $M$, the
system $\phi(\tuple x,\tuple a)$ is soluble in some extension of $\str
M$ just in case $\robfn{\phi}(\tuple x,\tuple a)$ is soluble in $\str M$.
Then the existentially closed
models of $T$ compose an elementary class, whose theory $T^*$ is
axiomatized by $T$ together with the sentences
\begin{equation}\label{eqn:sen}
  \Forall{\tuple y}(\Exists{\tuple x}\robfn{\phi}(\tuple x,\tuple
  y)\lto
\Exists{\tuple x}\phi(\tuple x,\tuple y)).
\end{equation}
Immediately, $T^*$ is model-complete, so $T^*\cup\diag{\str M}$ is
complete when $\str M\models T^*$.  What is more,
$T^*\cup\diag{\str M}$ is complete whenever $\str M\models
T$ \cite[Thm 5.5.1]{MR0153570}.

In general, $T^*$ is a \defn{model-completion}{} of $T$ if 
$T^*{}_{\forall}\included T\included T^*$
and 
$T^*\cup\diag{\str M}$ is
complete whenever $\str M\models T$.  Model-completions are unique
\cite[(2.8)]{MR0091922}.   We have sketched the proof of part of the
following (the rest is \cite[(3.5)]{MR0091922}):

\begin{lemma}[Robinson's Criterion]
\label{lem:rob-crit} 
  Let $T$ be inductive.  Then $T$ has a model-comple\-tion if and
  only if a function $\phi(\tuple x,\tuple
  y)\mapsto\robfn{\phi}(\tuple x,\tuple y)$ exists as
  in~\eqref{eqn:fn}. 
In this case, the model-completion is axiomatized \emph{modulo} $T$ by
  the sentences in~\eqref{eqn:sen}.
\end{lemma}

If $T_{\forall}=T^*{}_{\forall}$ and $T^*$ is model-complete, then
$T^*$ is a \defn{model-companion}{} of~$T$
(\cite[\S~5]{MR0272613}; \emph{cf.}~\cite[\S~2]{MR0277372}).
Model-completions are model-companions, and model-companions are
unique \cite[Thm 5.3]{MR0272613}.
If $T$ has a
model-companion, then its models are just the existentially closed
models of $T$ \cite[Prop.~7.10]{MR0277372}.
Conversely, if $T$ is inductive,
and the class of existentially closed models 
of $T$ is elementary, then the theory of this class is the
model-companion of $T$ \cite[Cor.~7.13]{MR0277372}.

\section{Fields with one derivation}\label{sect:one}

Let \myboxed{\DF}{} be the theory of fields with a derivation $D$, and let
\myboxed{\DPF}{} be 
the theory of models of $\DF$ that, for each prime $\ell$, satisfy also
\begin{equation*}
  \Forall x\Exists y(\underbrace{1+\dotsb+1}_{\ell}=0\land
  Dx=0\lto\underbrace{y\dotsb y}_{\ell}=x).
\end{equation*}
So models of $\DPF$ are \defn{differentially perfect}.  A
subscript on the name of one of these theories will indicate a 
required characteristic for the field.  In particular, we have $\DPF_0$,
which is the same as $\DF_0$. 

Abraham Seidenberg
\cite{MR0082487} shows the existence of the function
in Lemma~\ref{lem:rob-crit} in case
$T$ is $\DPF_p$, where $p$ is prime or $0$.  Consequently:

\begin{theorem}[Robinson]
  $\DF_0$ has a model-completion, called \myboxed{\DCF_0}.
\end{theorem}

\begin{theorem}[Wood \cite{MR48:8227}]
  If $p$ is prime, then $\DF_p$ has a model-companion,
  \myboxed{\DCF_p}, which is the model-completion of $\DPF_p$. 
\end{theorem}

The existence of a model-companion or -completion of a theory does not
necessarily tell us much about the existentially closed models of the
theory.  Since it involves \emph{all} systems over a given theory,
Robinson's criterion yields the crudest possible axiomatization for a
model-completion.  In the case of $\DCF_p$, there are two ways of
refining the axiomatization---refining in the sense of finding weaker
conditions  on models of $\DF_p$ that are still sufficient for being
existentially closed.  It suffices to consider either systems in only one
variable or systems involving only first derivatives.  In the
generalization to several derivations, the former
refinement seems to be of little use; the latter refinement is of use
indirectly, through its introduction of geometric ideas.

\subsection{Single variables}\label{subsect:one-var}

Though the theory \myboxed{\ACF}{} of
algebraically closed fields is the model-completion of the theory of
fields, its axioms (\emph{modulo} the latter theory) can involve only
systems in one variable (indeed, single equations in one variable).
A generalization of this observation is the following, which can be
extracted from the proof of \cite[Thm~17.2, pp.~89--91]{MR0398817}
(see also \cite{MR0491149}):

\begin{lemma}[Blum's Criterion]\label{lem:blum}
  Say $T^*{}_{\forall}\included T\included T^*$.
  \begin{enumerate}
    \item
The theory $T^*$ is the model-completion of $T$ if and only if the
  commutative diagram
  \begin{equation*}
    \xymatrix{
\str M &\\
\str A \ar[u] \ar[r] & \str B \ar@{.>}[ul]
}
  \end{equation*}
of structures and embeddings
can be completed as indicated when
$\str A$ and $\str B$ are models of $T$ and $\str M$ is a
$\size{B}^+$-saturated model of $T^*$.
\item\label{item:blum2}
If $T=T_{\forall}$, it is enough to assume that $\str B$ is generated
over $\str A$
by a single element.
  \end{enumerate}
\end{lemma}

This allows a refinement of Lemma~\ref{lem:rob-crit} in a special
case:

\begin{lemma}
  Suppose $T=T_{\forall}$.  Then Lemma~\ref{lem:rob-crit} still holds
  when $\phi(\tuple x,\tuple y)$ is replaced with
  $\phi(x,\tuple y)$ (where $x$ is a single variable).
\end{lemma}

From Lemma~\ref{lem:blum},
Lenore Blum obtains Theorem~\ref{thm:dcf-1} below in characteristic
$0$, in which case the first two numbered conditions amount to
$K\models\ACF$ (\cite[pp.~298~ff.]{MR0398817} or~\cite{MR0491149}).
If $p>0$, then $\DPF_p$ is not universal, so
part~\eqref{item:blum2} of Blum's criterion does 
\emph{not} apply; Carol Wood instead uses a
primitive-element theorem of Seidenberg \cite{MR0049174} to obtain new
axioms for $\DCF_p$ \cite{MR50:9577}.  These can be combined with
Blum's axioms for $\DCF_0$ to yield the following.  (Here \myboxed{\SCF}{} is
the theory of separably closed fields.)

\begin{theorem}[Blum, Wood]\label{thm:dcf-1}
A model $(K,D)$ of $\DF$ is existentially closed if and only if
\begin{enumerate}
\item
$K\models\SCF$;
  \item
$(K,D)\models\DPF$;
\item
$(K,D)\models\Exists x(f(x,Dx,\dots,D^{n+1}x)=0\land
g(x,Dx,\dots,D^nx)\neq0)$ whenever $f$ and $g$ are ordinary
polynomials over $K$ in tuples $(x^0,\dots, x^{n+1})$ and
$(x^0,\dots,x^n)$ of variables
respectively such that $g\neq0$ and
$\partial f/\partial x^{n+1}\neq0$. 
\end{enumerate}
Hence $\DF$ has a model-companion, \myboxed{\DCF}.
\end{theorem}

There is a similar characterization of the existentially closed
\emph{ordered} differential fields \cite{MR495120}.

\subsection{First derivatives}\label{sect:first-der}

Alternative simplified axioms for $\DCF$ are parallel to
those found for the model-companion \myboxed{\ACFA}{} of the theory of fields
with an automorphism \cite{MR99c:03046,MR2000f:03109}.  Suppose
$(K,D)\models\DPF$ and $K\models\SCF$.
Given a system
over $(K,D)$, we can ensure that $D$ is applied only to
variables or derivatives of variables; then we can replace each
derivative with a new variable, obtaining a system
\begin{equation}\label{eqn:1st}
  \bigwedge_ff=0\land g\neq0\land D\tuple x=\tuple y,
\end{equation}
where $f,g\in K[\tuple x,\tuple y]$.  We can write also
$\bigwedge_ff(\tuple x,D\tuple x)=0\land g(\tuple x,D\tuple x)\neq0$. 
Suppose~\eqref{eqn:1st} has the solution $(\tuple a,\tuple b)$.
Then $K(\tuple a,\tuple b)/K$ is separable
\cite[Lem.~1.5, p.~1328]{MR2114160}.  Let
$V$ and $W$ be the varieties over $K$ with generic points $\tuple a$
and $(\tuple a,\tuple b)$ respectively, let \myboxed{T_D(V)}{} be the
twisted tangent bundle of $V$, and let $U$ be the open subset of $W$
defined by the inequation $g\neq0$.
\begin{comment}



 then the situation can be
depicted thus:
\begin{equation*}
\SelectTips{cm}{}
\newdir{ >}{{}*!/-5pt/@{>}}
  \xymatrix{
U \ar@{ >->}[r] \ar@{-->>}[dr]
 & W \ar@{ >->}[r] \ar@{-->>}[d] & T_D(V) \ar@{-->>}[dl]^{(\tuple
  x,\tuple y)\mapsto\tuple x}\\
& V&
}
\end{equation*}




\end{comment}
In characteristic $0$, the model $(K,D)$ of $\DF$ is existentially
closed if and only if, in every such geometric situation, $U$ contains
a $K$-rational point $(\tuple c,D\tuple c)$; this yields the so-called
geometric axioms for $\DCF_0$ found with Anand Pillay
\cite{MR99g:12006}.  In positive characteristic, it is still true
that, if $(\tuple a,\tuple b)$ is a generic point of $V$, then $D$
extends to $K(\tuple a)$ so that $D\tuple a=\tuple b$.  However, an
additional condition is needed to ensure that $D$ extends to all of
$K(\tuple a,\tuple b)$; it is enough to require that the projection of
$T_D(W)$ onto $T_D(V)$ contain a generic point of $W$; this yields
Piotr Kowalski's geometric axioms for $\DCF_p$ \cite{MR2119125}.

By the usual trick of replacing $g\neq0$ with $z\cdot g=1$, we may
assume that there is no inequation in~\eqref{eqn:1st}.
In an alternative geometric approach to $\DCF$, we can then
consider~\eqref{eqn:1st} as a special case of
\begin{equation}\label{eqn:1-my}
  \bigwedge_ff=0\land\bigwedge_{i<k}Dx^i=g^i, 
\end{equation}
where $f\in K[x^0,\dots,x^{n-1}]$ and $g^i\in
K(x^0,\dots,x^{n-1})$. 
Suppose this has solution $\tuple a$, which is a generic point of
a variety $V$.  It is enough to assume that 
$(a^0,\dots,a^{k-1})$ is a separating tran\-scendence-basis of $K(\tuple
a)/K$.  Then we have a dominant, separable rational map $\tuple
x\mapsto(x^0,\dots,x^{k-1})$ or $\phi$ from $V$ onto $\Aff^k$,
and another rational map $\tuple x\mapsto(g^0(\tuple x),\dots,g^{k-1}(\tuple
x))$ or $\psi$ from $V$ to $\Aff^k$.  So $(K,D)$ is existentially
closed if
and only if $V$ always has a $K$-rational point $P$ such that
$D(\phi(P))=\psi(P)$ \cite[Thm~1.6, p.~1328]{MR2114160}. 

\section{Fields with several derivations}\label{sect:several}

Let \myboxed{\mDF}{} be the theory of fields with $m$ commuting derivations.
Tracey McGrail \cite{MR2001h:03066} axiomatizes the model-completion,
\myboxed{\mDCF_0}, of $\mDF_0$.  Alternative axiomatizations arise as
special cases in 
work of Yoav Yaffe \cite{MR1807840} and Marcus Tressl
\cite{MR2159694}.  There is a common theme:  A differential ideal has
a generating set of a special form; in the terminology of Joseph Ritt
\cite[\S~I.5, p.~5]{MR0201431} (when $m=1$) and Ellis Kolchin
\cite[\S~I.10, pp.~81~ff.]{MR58:27929}, this is a \emph{characteristic set.}
There is a first-order way to tell, uniformly in the parameters,
whether a given set of differential 
polynomials is a characteristic set of some differential ideal, and
then to tell, if it \emph{is}
a characteristic set, whether it has a root.  In short, the function
$\phi\mapsto\robfn{\phi}$ in Robinson's criterion
(Lemma~\ref{lem:rob-crit}) is defined for
sufficiently many systems $\phi$.  (Applying Blum's criterion, McGrail
and Yaffe consider only systems in one variable, so they must include
inequations in these systems; Tressl uses only equations, in
arbitrarily many variables.)

I do not give the definition of a characteristic set, as not all
ingredients of the definition are needed for the arguments presented
in \S~\ref{sect:resolution}.  However, some of the ingredients
\emph{are} needed; these are in~\ref{subsect:terms}.

\subsection{Spaces of derivations}\label{subsect:fga}

In \cite{MR2000487} I attempted to apply the geometric approach
described in~\ref{sect:first-der} to $\mDF_0$.  I worked more
generally with $\DF^m_0$, where \myboxed{\DF^m}{} is the theory of structures
$(K,D_0,\dots,D_{m-1})$ such that $(K,D_i)\models\DF$ for each $i$, and
each bracket $[D_j,D_k]$ is a $K$-linear combination of the $D_i$.
(This is roughly what Yaffe did too.)
In
\cite[\S~2]{MR2114160} I made some minor corrections and otherwise adapted
the argument to arbitrary characteristic.  Nonetheless, in May, 2006,
Ehud Hrushovski showed me a counterexample to \cite[Thm~A,
  p.~926]{MR2000487}, a theorem that was an introductory formulation of
 \cite[Thm~5.7, p.~942]{MR2000487}.  Then I found an error at
 the end of the proof of the latter theorem.  That theorem is simply wrong; the present paper does not so much correct the theorem as replace it.

The developments leading up to the wrong theorem are still of some use.
The general situation is as follows.
Let $(K,D_0,\dots,D_{m-1})\models\DF^m$, and let $\lrv$ be the
$K$-linear span of the $D_i$.  Then $\lrv$ is a Lie-ring, as well as a
vector-space over $K$.  As a vector-space, $\lrv$ has a dual,
\myboxed{\lrv^*}; and there is a derivation \myboxed{\dee}{} from $K$ into
$\lrv^*$ given by
\begin{math}
  D(\dee x)=Dx
\end{math}.
Then $\lrv^*$ has a basis $(\dee t^i\colon i<\ell)$ for some $t^i$ in
$K$ and some $\ell$ no greater than $m$ \cite[Lem.~4.4,
  p.~932]{MR2000487}, and this basis is dual to a basis
$(\partial_i\colon i<\ell)$ of $\lrv$, where 
$[\partial_i,\partial_j]=0$ in each case, and $\dee$ can be given by
\begin{equation}\label{eqn:dee}
  \dee x=\sum_{i<\ell}\dee t^i\cdot\partial_ix
\end{equation}
\cite[Lem.~4.7, p.~934]{MR2000487}.
We can use these ideas to prove the following.

\begin{theorem}\label{thm:if-mDF}
If $\mDF$ has a model-companion, then so does $\DF^m$.
\end{theorem}

\begin{proof}
In characteristic $0$, the result is implicit in \cite[Thm~5.3 and proof]{MR2000487}, explicit in
\cite[\S~3]{MR2286106}; but the proof works generally.  The main point is to find, for any model $(K,D_0,\dots,D_{m-1})$ of $\DF^m$, an extension
in which the named derivations are linearly independent over the larger field.  As above, the space spanned over $K$ by the $D_i$ has a basis $(\partial_i\colon i<\ell)$ of commuting derivations of $K$.
If $\ell<m$, then let $L=K(\alpha^{\ell},\dots,\alpha^{m-1})$,
where
$(\alpha^{\ell},\dots,\alpha^{m-1})$ is algebraically
independent over $K$.
Extend the $\partial_i$ to $L$ so that they
are $0$ at the $\alpha^j$;
then, if $\ell\leq k<m$, define $\partial_k$ to be $0$ on $K$ and to be
$\deltaup_k^j$ at $\alpha^j$.  Then $(\partial_i\colon i<m)$ is a
linearly independent $m$-tuple of commuting derivations on $L$; from this, we
obtain linearly independent extensions $\tilde D_i$ of the $D_i$ to $L$ such that
the brackets $[\tilde D_j,\tilde D_k]$ are the same linear combinations of the $\tilde D_i$ that the $[D_j,D_k]$ are of the $D_i$ (by \cite[Lem.~5.2, p.~937]{MR2000487}---or \cite[Lem.~2.1,
  p.~1930]{MR2286106}, by a different method---in characteristic $0$;
generally,  \cite[Lem.~2.4, p.~1334]{MR2114160}).  Then $(K,D_i,\dots,D_{m-1})\included(L,\tilde D_0,\dots,\tilde D_{m-1})$, and the latter is a model of $\DF^m$.  Moreover, $(L,\tilde D_0,\dots,\tilde D_{m-1})$ is an existentially closed model if and only if $(L,\partial_0,\dots,\partial_{m-1})$ is an existentially closed model of $\DF^m$; so a model-companion of $\DF^m$ can be derived from a model-companion of $\mDF$.
\end{proof}

That much stands, and differential forms
are convenient for establishing it.  The theorem, combined with the results of \S~\ref{sect:resolution}, will yield a model-companion, $\DCF^m$, of $\DF^m$.

\subsection{False steps with differential forms}

In \cite{MR2000487} I tried also to obtain $\DCF_0^m$
independently as follows.  Suppose now we have
a separably closed field~$K$, along with a Lie-ring and
finite-dimensional space $\lrv$ of derivations 
of $K$; as a space, $\lrv$ has a basis $(\partial_i\colon i<m)$, whose
dual is $(\dee t^i\colon i<m)$, so that the $\partial_i$ commute.  We
may assume  that
$(K,\partial_0,\dots,\partial_{m-1})$ is differentiably perfect
\cite[Lem.~2.4]{MR2114160}.
Every system over $(K,\partial_0,\dots,\partial_{m-1})$
 is equivalent to a system of the
form of~\eqref{eqn:1-my}, generalized to
\begin{equation}\label{eqn:m-my}
  \bigwedge_ff=0\land
  \bigwedge_{j<k}\bigwedge_{i<m}\partial_ix^j=g_i^j.
\end{equation}
By means of~\eqref{eqn:dee}, we can also write this as
\begin{equation}\label{eqn:many-my}
  \bigwedge_ff=0\land
  \bigwedge_{j<k}\dee x^j=\sum_{i<m}\dee t^i\cdot g_i^j.
\end{equation}
If $\tuple a$ is a solution (from some extension), it is enough to
assume that $(a^0,\dots,a^\ell)$ is a
separating transcendence-basis of $K(\tuple a)/K$ for some $\ell$ such
that $k\leq\ell<n$.  That we cannot generally assume $k=\ell$ is an important
difference from the case of one derivation; it is what causes the
difficulties in the case of several derivations.  The solution $\tuple a$
to~\eqref{eqn:many-my} can be 
understood as follows.  First
we have the field $K(\tuple a)$, and then~\eqref{eqn:many-my} can be be
written as
\begin{equation}\label{eqn:step-1}
  \bigwedge_{j<k}\dee a^j=\sum_{i<m}\dee t^i\cdot g_i^j(\tuple a).
\end{equation}
A solution of this can be understood as a model
$(L,\tilde{\partial}_0,\dots,\tilde{\partial}_{m-1})$ of $\mDF$
extending $(K,\partial_0,\dots,\partial_{m-1})$ such that $K(\tuple
a)\included L$ and~\eqref{eqn:step-1} holds when $\dee
a^j=\sum_{i<m}\dee t^i\cdot\tilde{\partial}_ia^j$, that is, 
\begin{equation}\label{eqn:jkim}
\bigwedge_{j<k}\bigwedge_{i<m}\tilde{\partial}_ia^j=g_i^j(\tuple a).  
\end{equation}
Since the
$\tilde{\partial}_i$ commute, it is
necessary that 
\begin{equation}\label{eqn:jkhim}
\bigwedge_{j<k}\bigwedge_{h<i<m}\tilde{\partial}_h(g_i^j(\tuple
a))=\tilde{\partial}_i(g_h^j(\tuple a))
\end{equation}
\cite[\S~1, p.~926]{MR2000487}.
Any derivative with respect to $\tilde{\partial}_i$ of an element of
$K(\tuple a)$ is a constant plus a linear combination
of the derivatives  $\tilde{\partial}_ia^j$, where $j<\ell$ (by
\cite[Fact~1.1 (0, 2)]{MR2114160}, for example); we know
what these derivatives $\tilde{\partial}_ia^j$ are when $j<k$,
by~\eqref{eqn:jkim};
so~\eqref{eqn:jkhim} becomes a linear system over $K(\tuple a)$ in the
unknowns $\tilde{\partial}_ia^j$ where $k\leq j<\ell$.   

If $k=\ell$, then this linear system has no variables, so it is true
or false; its truth is a sufficient condition for~\eqref{eqn:step-1}
to have a solution.  If $k<\ell$, then the linear system is soluble or
not.  If it is soluble, then it is possible to extend the $\partial_i$
to derivations $\tilde{\partial}_i$ as required by~\eqref{eqn:jkim}
that commute on
$K(a^0,\dots,a^{k-1})$; but these derivations need not commute on all
of $K(\tuple a)$.  In \cite{MR2000487} I claimed that they could
commute, and that the solubility 
of~\eqref{eqn:jkhim} was sufficient for solubility
of~\eqref{eqn:step-1} in the sense above.  I was wrong.  

If we take a solution to the linear system, we now have an extension of $K(\tuple a)$, and we have to check extensibility of the commuting derivations to \emph{this.}  That is, we are back in the same kind situation we started with.  However, it turns out that there is a bound on the number of times that we need to repeat this process in order to ensure solubility of the original differential system.  This is what is shown in \S~\ref{sect:resolution}; differential forms are apparently not useful for this after all.

\subsection{A counterexample}
Over a model of $\DF^2$,
let $(a,b,c)$ be an algebraically independent triple.  The counterexample supplied by Hrushovski is the system
\begin{align}\label{eqn:sys-ex}
  \dee a&=\dee t^0\cdot c^2+\dee t^1\cdot c,&
\dee b&=\dee t^0\cdot 2a+\dee t^1\cdot c
\end{align}
(where $c^2$ is the square of $c$; the constants
$(k,\ell)$ of \S~\ref{subsect:fga} are now $(2,3)$).
Equivalently, by~\eqref{eqn:dee}, the system comprises the equations
\begin{align*}
  \partial_0a&= c^2,&\partial_1a&=c,&
  \partial_0b&=2a,&\partial_1b&=c.
  \end{align*}
From these, we compute
\begin{align*}
\partial_1\partial_0a&=2c\cdot\partial_1c,&
\partial_0\partial_1a&=\partial_0c,& 
\partial_1\partial_0b&=2\cdot\partial_1a=2c,&
\partial_0\partial_1b&=\partial_0c.
\end{align*}
Equating $\partial_0\partial_1$ and $\partial_1\partial_0$ yields the
linear system
\begin{align}\label{eqn:c}
  \partial_0c-2c\cdot\partial_1c&=0,&
  \partial_0c&=2c,
\end{align}
which has the solution $(\partial_0c,\partial_1c)=(2c,1)$.  But then we
must have
$\partial_1\partial_0c=2\cdot\partial_1c=2$, while
$\partial_0\partial_1c=\partial_01=0$, which means~\eqref{eqn:sys-ex}
has no solution, contrary to my claim in~\cite{MR2000487}.

For the record, the mistake is at the end of the proof of
\cite[Thm~5.7, p.~942]{MR2000487} and can be seen as follows.
Write the system~\eqref{eqn:sys-ex} as 
$\dee a=\alpha$, $\dee b=\beta$; then
\begin{align}\label{eqn:da}
  \dee\alpha
  &=\dee c\wedge(\dee t^0\cdot 2c+\dee t^1),
&&
\begin{split}
\dee\beta
&=\dee a\wedge\dee t^0\cdot 2+\dee c\wedge\dee t^1\\
&=(\dee c-\dee t^0\cdot 2c)\wedge\dee t^1.
\end{split}
\end{align}
Since also $\dee\beta=\dee^2b=0$,
we now have a condition on $\dee c\wedge\dee
t^1$, hence on $\partial_0c$; in particular, $\partial_0c=2c$, which
is what we found above.  But
there is no apparent
condition on $\partial_1c$, so I try introducing a new transcendental,
$d$, for this derivative.  By~\eqref{eqn:c} then,
\begin{equation*}
\dee c=\dee t^0\cdot 2c+\dee t^1\cdot d,
\end{equation*}  
which by~\eqref{eqn:da} yields
\begin{math}
  \dee\alpha
=\dee t^0\wedge\dee t^1\cdot 2c(1-d)
\end{math}.
But we must have $\dee\alpha=0$, so $d=1$, contrary to
assumption.  In short, the next to last sentence of the proof of
 \cite[Thm~5.7]{MR2000487} (beginning `This ideal is linearly disjoint
 from') is simply wrong.  (I had not attempted to argue that it was
 correct.)

\section{Resolution}\label{sect:resolution}

For a correct understanding of the existentially closed differential fields,
it is better not to introduce differential
forms from the beginning, but to allow equations to involve any number
of applications of the derivations.  In
contrast to~\ref{subsect:one-var}, there does not seem to be an
advantage now in restricting attention to equations in one variable.

\begin{comment}

\subsection{Another example}\label{subsect:another}

Over a
differential field $(K,\partial_0,\partial_1)$, consider the system
\begin{equation}\label{eqn:my-ex}
  \partial_0{}^n\partial_1{}^nx-x=0,\qquad
\partial_0{}^n\partial_1x-\partial_1{}^nx=0,
\end{equation}
where $n\geq2$.
Think of the derivatives $\partial_0{}^i\partial_1{}^jx$ as matrix
entries:
\begin{equation*}
  \begin{matrix}
    x&\partial_1x&\partial_1{}^2x&\dots\\
\partial_0x&\partial_0\partial_1x&\partial_0\partial_1{}^2x&\dots\\
\partial_0{}^2x&\partial_0{}^2\partial_1x&\partial_0{}^2\partial_1{}^2x&\dots\\
\hdotsfor{4}
  \end{matrix}
\end{equation*}
Treat each derivative  $\partial_0{}^i\partial_1{}^jx$ as a new
variable, $x^{(i,j)}$.  In case $n=3$, the system~\eqref{eqn:my-ex}
places requirements on a $4\times4$ matrix $(a^{(i,j)})^{i<4}_{j<4}$ in which
$a^{(3,3)}=a^{(0,0)}$ and $a^{(3,1)}=a^{(0,3)}$; we can depict the
requirements as follows:  
\begin{equation}\label{eqn:matrix}
 \begin{matrix}
    a&*&*&b\\
    *&*&*&*\\
    *&*&*&*\\
    *&b&*&a
  \end{matrix}
\end{equation}
We first ask whether the derivations can be
extended to commuting derivations on the field
$K(a^{(i,j)}\colon(i,j)\leq(3,3))$, where $\leq$ is
the product order on $\vnn^2$, so that
$\partial_0a^{(i,j)}=a^{(i+1,j)}$ when $(i+1,j)\leq(3,3)$ and 
$\partial_1a^{(i,j)}=a^{(i,j+1)}$ when $(i,j+1)\leq(3,3)$.
That is, writing $a^{(4,j)}$ for $\partial_0a^{(3,j)}$, and
$a^{(i,4)}$ for $\partial_1a^{(i,3)}$, we ask whether $\partial_0$ and
$\partial_1$ can map $K(a^{(i,j)}\colon(i,j)\leq(3,3))$ into 
 $K(a^{(i,j)}\colon(i,j)\leq(4,3))$ and
 $K(a^{(i,j)}\colon(i,j)\leq(3,4))$ respectively, in the manner
suggested by the notation; and we ask further whether $\partial_0$ and
$\partial_1$ can still commute, which means there should be
$a^{(4,4)}$ so that 
$\partial_0$ maps
$K(a^{(i,j)}\colon(i,j)\leq(3,4))$, and
$\partial_1$ maps
$K(a^{(i,j)}\colon(i,j)\leq(4,3))$, 
into
$K(a^{(i,j)}\colon(i,j)\leq(4,4))$.
In short, can
the matrix~\eqref{eqn:matrix} be extended by one row and
column?  Since $a^{(3,3)}=a^{(0,0)}$, we must have
$a^{(4,3)}=a^{(1,0)}$, and so forth; none of this causes any problem,
and the new matrix can be depicted:
\begin{equation}\label{eqn:matrix1}
  \begin{array}{cccc|c}
    a     &d     &*     &b     &g     \\
    c     &e     &*     &f     &h     \\
    *     &*     &*     &*     &*     \\
    *     &b     &g     &a     &d     \\\cline{1-4}
    *     &f     &h     &\multicolumn{1}{c}{c}     &\multicolumn{1}{c}{e}
  \end{array}
\end{equation}
To extend the
  derivations further to
$K(a^{(i,j)}\colon(i,j)\leq(4,4))$, we require a new condition on
 the original matrix $(a^{(i,j)})^{i<4}_{j<4}$,
 namely, $a^{(3,0)}=a^{(0,2)}$; this comes out when we try to
  extend~\eqref{eqn:matrix1} by one column:
  \begin{equation}\label{eqn:matrix2}
 \begin{array}{cccc|cc}
    a     &d     &j     &b     &g     &a\\
    c     &e     &*     &f     &h     &c\\
    i     &*     &*     &*     &*     &i\\
    j     &b     &g     &a     &d     &j\\\cline{1-4}
    *     &f     &h
    &\multicolumn{1}{c}{c}&\multicolumn{1}{c}{e}&\multicolumn{1}{c}{*}
   \end{array}
  \end{equation}
Indeed, as $a^{(0,4)}=a^{(3,2)}$, so $a^{(0,5)}=a^{(3,3)}=a^{(0,0)}$,
so column~$5$ must be the same as column~$0$; also
$a^{(0,1)}=a^{(3,4)}$, whence $a^{(0,2)}=a^{(3,5)}=a^{(3,0)}$.
This does not mean that~\eqref{eqn:my-ex} is insoluble; it is.  But
the additional condition found 
in~\eqref{eqn:matrix2} does mean that the associated non-homogeneous system
\begin{equation}\label{eqn:my-ex1}
  \partial_0{}^n\partial_1{}^nx-x=0,\qquad
\partial_0{}^n\partial_1x-\partial_1{}^nx=1
\end{equation}
is insoluble, although this is not clear from~\eqref{eqn:matrix}
or~\eqref{eqn:matrix1}. 
Alternatively, we can work with the differential ideal, looking
for a characteristic set as mentioned at the beginning of this section:
\begin{equation*}
\begin{split}
&\phantom{{}={}}[\partial_0{}^n\partial_1{}^nx-x,\ 
\partial_0{}^n\partial_1x-\partial_1{}^nx-1]\\
&=[\partial_1{}^{2n-1}x-x,\ 
\partial_0{}^n\partial_1x-\partial_1{}^nx-1]\\
&=[\partial_1{}^{2n-1}x-x,\ 
\partial_0{}^n\partial_1x-\partial_1{}^nx-1,\
\partial_1{}^{3n-2}x-\partial_0{}^nx]\\
&=[\partial_1{}^{2n-1}x-x,\ 
\partial_0{}^n\partial_1x-\partial_1{}^nx-1,\
\partial_0{}^nx-\partial_1{}^{n-1}x]\\
&=[\partial_1{}^{2n-1}x-x,\ 
1,\
\partial_0{}^nx-\partial_1{}^{n-1}x]
=[1],
\end{split}
\end{equation*}
so~\eqref{eqn:my-ex1} is insoluble; but higher-order derivatives were
needed to discover this.  

By the same computation, the differential ideal 
$[\partial_0{}^n\partial_1{}^nx-x,\ 
\partial_0{}^n\partial_1x-\partial_1{}^nx]$ has the characteristic set
$\{\partial_1{}^{2n-1}x-x,
\partial_0{}^nx-\partial_1{}^{n-1}x\}$, which, in the manner described above,
imposes the following conditions in case $n=2$:
\begin{equation}\label{eqn:matrix-n2}
\begin{matrix}
    a&b&*&a\\
    *&*&*&*\\
    b&*&*&*
  \end{matrix}
\end{equation}
Therefore~\eqref{eqn:my-ex}
has a solution, simply because the ordinary ideal
$(x^{(0,2n-1)}-x,x^{(n,0)}-x^{(0,n-1)})$ 
has a zero.  One way of justifying this conclusion is
\cite[Lem.~3.1.2]{MR2001h:03066}; another way will be
Theorem~\ref{thm:second}, according to
which it is enough to 
observe that the dependencies in~\eqref{eqn:matrix-n2} extend in a `nice'
way to a triangle:
\begin{equation}
\begin{array}{cccc|cc} \label{eqn:triangle}
  a&b&c&a&b&c\\
  d&e&f&d&e& \\
  b&c&a&b& &  \\\cline{1-4}
  e&f&d&\multicolumn{3}{c}{}  \\
  c&a& &\multicolumn{3}{c}{}  \\
  f& & &\multicolumn{3}{c}{}  
\end{array}
\end{equation}

\end{comment}

\subsection{Terminology}\label{subsect:terms}

I shall now avoid working
with differential polynomials as such, but shall work instead with the
algebraic dependencies that they determine.

Let $(K,\partial_0,\dots,\partial_{m-1})\models\mDF$.  Higher-order
derivatives with respect to the $\partial_i$ can be indexed by
elements of $\vnn^m$:  so, for
$\partial_0{}^{\sigma(0)}\dotsb\partial_{m-1}{}^{\sigma(m-1)}x$, we
may write \myboxed{\partial^{\sigma}x}.
Let \myboxed{\leq}{} be the product ordering of $\vnn^m$.
Then the derivative $\partial^{\sigma}x$ is
\defn{below}{} $\partial^{\tau}x$ (and the latter is \defn{above}{} the
former) if $\sigma\leq\tau$.  (In particular, a derivative is both below and above itself.)  If $n\in\vnn$, then two elements of
$\vnn^n\times n$ will be related by $\leq$ only if they agree in the
last coordinate, so that
\begin{equation*}
  (\sigma,k)\leq(\tau,\ell)\iff\sigma\leq\tau\land k=\ell;
\end{equation*}
we may use the corresponding terminology of `above' and `below', so that
$\partial^{\sigma}x_k$ is below~$\partial^{\tau}x_{\ell}$ if (and only if)
$(\sigma,k)\leq(\tau,\ell)$. 

If
$\sigma\in\vnn^m$, let the sum $\sum_{i<m}\sigma(i)$ be denoted by
\myboxed{\size{\sigma}}: this is the \defn{height}{} of $\sigma$ or of
$\partial^{\sigma}x$.  (Kolchin \cite[\S~I.1, p.~59]{MR58:27929} uses
the word \emph{order}.) 
If $n$ is a positive integer, let $\vnn^m\times n$ be (totally) ordered by
\myboxed{\tleq}, which is taken from 
the left lexicographic ordering 
of $\vnn^{m+1}$ by means of the embedding
\begin{equation*}
  (\xi,k)\longmapsto
(\size{\xi},k,\xi(0),\dots,\xi(m-2))
\end{equation*}  
of $\vnn^m\times n$ in $\vnn^{m+1}$.  
Then $(\vnn^m\times n,\tleq)$ is isomorphic to $(\vnn,\leq)$.  
\begin{comment}



In case $n=1$, and $m$ is $2$ or $3$, the picture is thus:
\begin{center}
\hfill
  \begin{pspicture}(-1,-2.5)(3,0.5)
    \psset{radius=0.1}
    \Cnode(0,0){a}
    \uput[ul](0,0){$(0,0)$}
    \Cnode(1,0){b}
    \uput[u](1,0){$(0,1)$}
    \ncline{->}{a}{b}
    \Cnode(0,-1){c}
    \uput[l](0,-1){$(1,0)$}
    \ncline{->}{b}{c}
    \Cnode(2,0){d}
    \uput[ur](2,0){$(0,2)$}
    \ncline{->}{c}{d}
    \Cnode(1,-1){e}
    \uput[dr](1,-1){$(1,1)$}
    \ncline{->}{d}{e}
    \Cnode(0,-2){f}
    \uput[d](0,-2){$(2,0)$}
    \ncline{->}{e}{f}
  \end{pspicture}
\hfill
\begin{pspicture}(-2.5,-0.5)(2.5,3)
    \psset{radius=0.1}
    \Cnode(0,2.4){a}
    \uput[u](0,2.4){$(0,0,2)$}
    \Cnode(0.7,1.2){b}
    \uput[ur](0.7,1.2){$(0,1,1)$}
    \ncline{->}{a}{b}
    \Cnode(1.4,0){c}
    \uput[r](1.4,0){$(0,2,0)$}
    \ncline{->}{b}{c}
    \Cnode(-0.7,1.2){d}
    \uput[ul](-0.7,1.2){$(1,0,1)$}
    \ncline{->}{c}{d}
    \Cnode(0,0){e}
    \uput[d](0,0){$(1,1,0)$}
    \ncline{->}{d}{e}
    \Cnode(-1.4,0){f}
    \uput[l](-1.4,0){$(2,0,0)$}
    \ncline{->}{e}{f}  
\end{pspicture}
\hfill
\mbox{}
\end{center}




\end{comment}
We may
write $(\sigma,k)\tl\infty$ for all $(\sigma,k)$ in $\vnn^m\times n$.
Suppose $(x_h\colon h<n)$ is a tuple of indeterminates.  By ordering
the formal derivatives $\partial^{\sigma}x_k$ in terms of $(\sigma,k)$ and
$\tleq$, we have Kolchin's example of an \emph{orderly ranking} of
derivatives \cite[\S~I.8, p.~75]{MR58:27929}.  If
$(\sigma,k)\tl(\tau,\ell)$, I shall say that the derivative
$\partial^{\sigma}x_k$ is
\defn{less}{} than $\partial^{\tau}x_{\ell}$ or is a \defn{predecessor}{}
of $\partial^{\tau}x_{\ell}$, and
 $\partial^{\tau}x_{\ell}$ is \defn{greater}{} than 
 $\partial^{\sigma}x_k$; likewise for the expressions $a_k^{\sigma}$
and $a_{\ell}^{\tau}$, introduced in~\eqref{eqn:L} below.  (So, the
terms just defined refer
to the strict total ordering $\tl$, while `below' and `above' refer to the
partial ordering $\leq$.)

Addition and subtraction on $\vnn$ induce corresponding operations on
$\vnn^m$.  Then 
\begin{gather}\notag
\tau\leq\sigma+\tau,\\\notag
\partial^{\sigma}\partial^{\tau}x_k=
\partial^{\sigma+\tau}x_k,\\\label{eqn:sks}
(\sigma,k)\tleq(\sigma+\tau,k),\\\notag
(\sigma,k)\tleq(\tau,\ell)\Iff 
(\sigma+\rho,k)\tleq(\tau+\rho,\ell).
\end{gather}
If $i<m$, let \myboxed{\ichar}{} denote the
characteristic function of $\{i\}$ in $\vnn^m$, so that
$\partial^{\ichar}=\partial_i$, and more generally
$\partial_i\partial^{\sigma}=\partial^{\sigma+\ichar}$, and
$\partial_i\partial^{\sigma-\ichar}=\partial^{\sigma}$. 

Let $L$ be an extension of $K$ with generators that are indexed by an initial
segment of $(\vnn^m\times n,\tleq)$; that is,
\begin{equation}\label{eqn:L}
  L=K(a_h^{\xi}\colon(\xi,h)\tl(\tau,\ell)),
\end{equation}
where $(\tau,\ell)\in\vnn^m\times n$, or possibly $(\tau,\ell)=\infty$,
in which case $L=K(a_h^{\xi}\colon(\xi,h)\in\vnn^m\times n)$.
It could happen that, in the generating tuple $(a_h^{\xi}\colon(\xi,h)\tl(\tau,\ell))$ of $L/K$, the same element of $L$ may appear twice, with different indices.  In this, case, when
writing $a_h^{\xi}$, we may mean not just a particular element of $L$, but that element together with the pair $(\xi,h)$ of indices.
For example, by~\eqref{eqn:sks}, if $(\sigma+\ichar,k)\tl(\tau,\ell)$, then $(\sigma,k)\tl(\tau,\ell)$; hence we may say that,
if $a_k^{\sigma+\ichar}$ is one of the generators
of $L/K$, then so is $a_k^{\sigma}$.  Let us say that $L$, with the
tuple of generators given in~\eqref{eqn:L}, meets the \defn{differential condition}{} if there is
no obstacle to extending each derivation $\partial_i$ to a derivation
$D_i$ on $K(a_h^{\xi}\colon(\xi+\ichar,h)\tl(\tau,\ell))$ such that
\begin{equation}\label{eqn:Dia}
  D_ia_k^{\sigma}=a_k^{\sigma+\ichar}
\end{equation}
whenever $(\sigma+\ichar,k)\tl(\tau,\ell)$.
(If the right-hand member of~\eqref{eqn:Dia} is not defined,
then the left need not be defined.)  
To be precise,
if $f$ is a rational function over $K$
in variables $(x_h^{\xi}\colon(\xi,h)\tleq(\sigma,k))$ for some $(\sigma,k)$ in $\vnn^m\times n$, and $D$ is a derivation of $K$, then $f$ has a derivative $Df$, which is the linear function over $K(x_h^{\xi}\colon(\xi,h)\tleq(\sigma,k))$ given by
\begin{equation*}
Df=  \sum_{(\xi,h)\tleq(\sigma,k)}
\frac{\partial f}{\partial
  x_h^{\xi}}\cdot
y_h^{\xi}+ 
f^D.
\end{equation*}
Then the differential condition is that for all such $f$, if
$(\sigma+\ichar,k)\tl(\tau,\ell)$ for some $i$ in $m$, and if
\begin{equation}\label{eqn:fahx}
  f(a_h^{\xi}\colon(\xi,h)\tleq(\sigma,k))=0,
\end{equation}
then
\begin{math}
\partial_if(a_h^{\xi},a_h^{\xi+\ichar}\colon(\xi,h)\tleq(\sigma,k))=0
\end{math}, that is,
\begin{equation}\label{eqn:sumeta}
  \sum_{(\eta,g)\tleq(\sigma,k)}
\frac{\partial f}{\partial
  x_g^{\eta}}(a_h^{\xi}\colon(\xi,h)\tleq(\sigma,k))\cdot
a_g^{\eta+\ichar}+ 
f^{\partial_i}(a_h^{\xi}\colon(\xi,h)\tleq(\sigma,k))=0.
\end{equation}
(Note well the assumption that
 $(\sigma+\ichar,k)\tl(\tau,\ell)$.  In~\eqref{eqn:sumeta}, each
of the $a_g^{\eta+\ichar}$ must exist, even though the
coefficient $(\partial f/\partial
 x_g^{\eta})(a_h^{\xi}\colon(\xi,h)\tleq(\sigma,k))$ might be $0$.)
So the differential condition is \emph{necessary} for the
extensibility of the $\partial_i$ as desired (see for example
\cite[Fact~1.1~(0)]{MR2114160}); sufficiency is part of
Lemma~\ref{lem:above} below.

An extension $(M,D_0,\dots,D_{m-1})$ of
$(K,\partial_0,\dots,\partial_{m-1})$ is \defn{compatible}{} with the
extension $L$ of $K$ given in~\eqref{eqn:L} if $L\included M$,
and~\eqref{eqn:Dia} holds whenever
$(\sigma+\ichar,k)\tl(\tau,\ell)$. 

Borrowing some terminology
used for differential polynomials \cite[\S~IX.1, p.~163]{MR0201431},
let us say that a generator $a_k^{\sigma}$ of $L/K$ is a \defn{leader}{} if
it is algebraically dependent over $K$ on its predecessors, that is, 
\begin{equation*}
a_k^{\sigma}\in\alg{K(a_h^{\xi}\colon(\xi,h)\tl(\sigma,k))}.  
\end{equation*}
Then
$a_k^{\sigma}$ is a \defn{separable}{} leader if it is separably
algebraic over $K(a_h^{\xi}\colon(\xi,h)\tl(\sigma,k))$; otherwise, it
is an \defn{inseparable}{} leader.  A separable
leader $a_k^{\sigma}$ is \defn{minimal}{} if
there is no separable leader strictly below it---no separable leader
$a_k^{\rho}$ such that $\rho<\sigma$.

\begin{comment}




For example, in the field $K(a^{(i,j)}\colon(i,j)\leq(3,3))$ depicted
in~\eqref{eqn:matrix} above, the generator
$a^{(3,3)}$ is a (non-minimal) separable leader, and
$a^{(3,1)}$ is a minimal separable leader.  But here we wanted $a^{(3,3)}$
ultimately to be a derivative of $a^{(3,1)}$, namely
 $\partial_1{}^2a^{(3,1)}$.  Passing to a larger field
in~\eqref{eqn:matrix2}, we found the
condition $a^{(3,0)}=a^{(0,2)}$; then $a^{(3,0)}$ became a new separable
leader, strictly below the formerly minimal separable leader $a^{(3,1)}$.





\end{comment}
\begin{lemma}\label{lem:above}
Suppose $(K,\partial_0,\dots,\partial_{m-1})\models\mDF$, and $L$ is
an extension
$K(a_h^{\xi}\colon(\xi,h)\tl(\tau,\ell))$ of $K$ meeting the
differential condition.  Then the derivations
$\partial_i$ extend to derivations $D_i$ from
$K(a_h^{\xi}\colon(\xi+\ichar,h)\tl(\tau,\ell))$ into $L$
 such that~\eqref{eqn:Dia} holds when $(\sigma+\ichar,k)\tl(\tau,\ell)$.
 If $a_k^{\sigma}$ is a
 separable leader, and $(\sigma+\ichar,k)\tl(\tau,\ell)$, then
 \begin{equation}\label{eqn:aksi}
   a_k^{\sigma+\ichar}\in K(a_h^{\xi}\colon (\xi,h)\tl(\sigma+\ichar,k))
 \end{equation}
(that is, $a_k^{\sigma+\ichar}$ is a rational function over $K$ of its
 predecessors);
in particular, $a_k^{\sigma+\ichar}$ is a separable leader.  Therefore
generators of $L/K$ that are above separable leaders are themselves
separable leaders.
\end{lemma}

\begin{proof}
The claim follows from the basic properties of derivations, such as
are gathered in \cite[\S~1]{MR2114160}.
Let $B$ comprise the generators of $L/K$ that are not leaders.  Then
$B$ is algebraically independent over $K$, so we are free to extend
the $\partial_i$ to $D_i$ on $K(B)$ so that~\eqref{eqn:Dia} holds
whenever it applies.  Then these extensions are uniquely determined,
and there are further unique extensions of the $D_i$
to the separable closure $\sep{K(B)}$.  In particular, suppose
$a_k^{\sigma}$ is a separable leader, and
$(\sigma+\ichar,k)\tl(\tau,\ell)$.   Then $D_ia_k^{\sigma}$ is
obtained by differentiating the minimal polynomial of $a_k^{\sigma}$
over $K(B)$.  That is, $D_ia_k^{\sigma}$ is obtained by
differentiating an equation like~\eqref{eqn:fahx}; by the differential
condition, $D_ia_k^{\sigma}$ must be $a_k^{\sigma+\ichar}$ as given
by~\eqref{eqn:sumeta}; this shows that $a_k^{\sigma+\ichar}$ is a
rational function over $K$ of its predecessors.  

Finally, in a
positive characteristic~$p$, there may be an inseparable leader
$a_k^{\sigma}$.  Then $(a_k^{\sigma})^{p^r}\in \sep{K(a_h^{\xi}\colon
  (\xi,h)\tl(\sigma,k))}$ for some positive $r$.  If
$(\sigma+\ichar,k)\tl(\tau,\ell)$, then we are free to define
$D_ia_k^{\sigma}$ as $a_k^{\sigma+\ichar}$, provided
$D_i((a_k^{\sigma})^{p^r})=0$.  But again this condition is ensured by
the differential condition.  Indeed, we may suppose~\eqref{eqn:fahx}
shows the separable dependence of $(a_k^{\sigma})^{p^r}$ over the
predecessors of $a_k^{\sigma}$.  
That is, we can understand $f(a_h^{\xi}\colon(\xi,h)\tleq(\sigma,k))$
as $g((a_k^{\sigma})^{p^r})$ for some separable polynomial $g$ over
$K(a_h^{\xi}\colon(\xi,h)\tl(\sigma,k))$. 
Then $D_i((a_k^{\sigma})^{p^r})$ is
obtained from~\eqref{eqn:sumeta}, provided we replace the term
$(\partial f/\partial
x_k^{\sigma})(a_h^{\xi}\colon(\xi,h)\tleq(\sigma,k))\cdot
a_k^{\sigma+\ichar}$ with
$g'((a_k^{\sigma})^{p^r})\cdot
D_i((a_k^{\sigma})^{p^r})$.  But in the present case, the former term
is $0$.  Since,
after the replacement, the resulting 
equation still holds, we must have $D_i((a_k^{\sigma})^{p^r})=0$.
\end{proof}

\begin{comment}




\subsection{An example}\label{subsect:example}

Suppose we want to know whether the system
\begin{align}\label{eqn:orig-system}
  \partial^{(1,1)}x&=\partial^{(0,2)}x,
& \partial^{(1,2)}x&=\partial^{(2,0)}x
\end{align}
has a solution in an extension of a differential field
$(K,\partial_0,\partial_1)$.  We may first consider an extension
$K(a^{\sigma}\colon\size{\sigma}\leq 3)$ of $K$ for which we seek a
compatible extension of $(K,\partial_0,\partial_1)$; we then require
\begin{align}\label{eqn:a11a02}
  a^{(1,1)}&=a^{(0,2)},
& a^{(1,2)}&=a^{(2,0)}.
\end{align}
These conditions are shown in a triangle (as in
\S~\ref{subsect:another}), where leaders are underlined:
\begin{equation}\label{eqn:aabb}
  \begin{matrix}
    *&*&a&*\\
    *&\underline a&\underline b&\\
    b&*& & \\
    *& & &
  \end{matrix}
\end{equation}
If we differentiate~\eqref{eqn:orig-system} according
to~\eqref{eqn:Dia} as much as possible, considering only those
$a^{\sigma}$ such that $\size{\sigma}\leq 3$, we arrive at a triangle
\begin{equation}\label{eqn:ababbb}
  \begin{matrix}
    *&*&a&\underline b\\
    *&\underline a&b&\\
    b&b& & \\
    *& & &
  \end{matrix}
\end{equation}
with minimal leaders underlined.  The corresponding extension of $K$
meets the differential condition.  However, this observation, by
itself, is not enough to ensure that~\eqref{eqn:orig-system} has a
solution.  The problem is that the triangle~\eqref{eqn:ababbb} does
not provide enough room to compare the common derivative $a^{(1,3)}$
of the two minimal leaders.

So far, we have in effect noted that, by the computation
\begin{equation*}
  \partial^{(0,1)}(\partial^{(1,1)}x-\partial^{(0,2)}x)
  -(\partial^{(1,2)}x-\partial^{(2,0)}x)
=\partial^{(2,0)}x-\partial^{(0,3)}x,  
\end{equation*}
we have an equation
\begin{equation*}
  [\partial^{(1,1)}x-\partial^{(0,2)}x,
  \partial^{(1,2)}x-\partial^{(2,0)}x]=
[\partial^{(1,1)}x-\partial^{(0,2)}x,
\partial^{(0,3)}x-\partial^{(2,0)}x]  
\end{equation*}
of differential ideals.  Equating the least common derivative of the
minimal leaders in~\eqref{eqn:ababbb} corresponds to the computations
\begin{gather*}
  \partial^{(0,2)}(\partial^{(1,1)}x-\partial^{(0,2)}x)
-\partial^{(1,0)}(\partial^{(0,3)}x-\partial^{(2,0)}x)
=\partial^{(3,0)}x-\partial^{(0,4)}x,\\
-(\partial^{(3,0)}x-\partial^{(0,4)}x)
-\partial^{(0,1)}(\partial^{(0,3)}x-\partial^{(2,0)}x)
=\partial^{(2,1)}x-\partial^{(3,0)}x,
\end{gather*}
which give us an equation
\begin{equation}\label{eqn:ideals23}
  [\partial^{(1,1)}x-\partial^{(0,2)}x,
  \partial^{(1,2)}x-\partial^{(2,0)}x]=
[\partial^{(1,1)}x-\partial^{(0,2)}x,
\partial^{(0,3)}x-\partial^{(2,0)}x,
\partial^{(3,0)}x-\partial^{(2,1)}]  
\end{equation}
of differential ideals.  The conditions imposed by the generators of
the right member of~\eqref{eqn:ideals23} can be depicted as follows:
\begin{equation}\label{eqn:triangle2}
  \begin{matrix}
    *&*&a&\underline b\\
    *&\underline a&*&\\
    b&c&&\\
    \underline c&&&
  \end{matrix}
\end{equation}
By going outside~\eqref{eqn:ababbb}, we have found a new minimal
leader.

As we obtained~\eqref{eqn:ababbb} from~\eqref{eqn:aabb}, so
from~\eqref{eqn:triangle2} we obtain
\begin{equation*}
  \begin{matrix}
    *&*&a&\underline b\\
    *&\underline a&b&\\
b&b&&\\
\underline b&&&
  \end{matrix}
\end{equation*}
which generates an extension of $K$ meeting the differential
condition.  Moreover, there is a larger extension of $K$, namely
$K(a^{\sigma}\colon\size{\sigma}\leq 6)$ or $L$, where the relations
among the generators are depicted thus:
\begin{equation}\label{eqn:triangle3}
  \begin{array}{cccc|ccc}
    *&*&a&\underline b&b&b&b\\
    *&\underline a&b&b&b&b& \\
    b&b&b&b&b& & \\
    \underline b&b&b&b& & & \\\cline{1-4}
    b&b&b&\multicolumn{4}{c}{} \\
    b&b& &\multicolumn{4}{c}{} \\
    b& & &\multicolumn{4}{c}{} 
  \end{array}
\end{equation}
The minimal leaders are the same as before, and $L$ meets the
differential condition.  Finally, the least common derivative of any
two minimal leaders, as such, falls within the last triangle---indeed,
within the delineated square in the triangle.  We shall see that this
is enough to ensure that the original system~\eqref{eqn:orig-system}
is soluble.

Equating, for example, $\partial^{(3,0)}a^{(0,3)}$ and
$\partial^{(0,3)}a^{(3,0)}$ corresponds to the computation
\begin{multline*}
%  \partial^{(3,0)}(\partial^{(0,3)}x-\partial^{(2,0)}x)-
%\partial^{(0,3)}(\partial^{(3,0)}x-\partial^{(2,1)})
%=
\partial^{(3,0)}(\partial^{(0,3)}x-\partial^{(2,0)}x)-
\partial^{(0,3)}(\partial^{(3,0)}x-\partial^{(2,1)}x)\\
=\partial^{(3,3)}x-\partial^{(5,0)}x-
\partial^{(3,3)}x+\partial^{(2,4)}x
=\partial^{(2,4)}x-\partial^{(5,0)}x,
\end{multline*}
where we must work with derivatives as great as
$\partial^{(3,3)}x$; but alternatively, we have
\begin{multline*}
\partial^{(2,1)}(\partial^{(0,3)}x-\partial^{(2,0)}x)-
\partial^{(2,0)}(\partial^{(3,0)}x-\partial^{(2,1)}x)\\
=\partial^{(2,4)}x-\partial^{(4,1)}x-
\partial^{(5,0)}x+\partial^{(4,1)}x
=\partial^{(2,4)}-\partial^{(5,0)}x,
\end{multline*}
where no derivative is as great as $\partial^{(3,3)}x$. 
Similar computations are possible for the other pairs of leaders.
In the terminology introduced by Azriel Rosenfeld \cite[\S~I.2,
  p.~397]{MR0107642} in characteristic $0$, the set of generators of
the right member of~\eqref{eqn:ideals23} is
\emph{coherent.}






\end{comment}

\subsection{A solubility condition}

If $(K,\partial_0,\dots,\partial_{m-1})\models\mDF$, then this model
has an extension whose underlying field is the separable closure of
$K$ (as by \cite[Lem.~3.4, p.~930]{MR2000487} and \cite[Lem.~2.4,
  p.~1334]{MR2114160}).  We shall need this in a more general form:

\begin{lemma}\label{lem:comm}
  Suppose a field $M$ has two subfields $L_0$ and $L_1$, which in turn
  have a common subfield $K$.  For each $i$ in $2$, suppose there is a
  derivation $D_i$ mapping $K$ into $L_i$ and $L_{1-i}$ into $M$.
  Then the bracket $[D_0,D_1]$ is a well-defined
  derivation on $K$.  Suppose it is the $0$-derivation.
\begin{comment}



, that is, the
  following diagram commutes.
  \begin{equation*}
    \begin{CD}
      K @>{D_1}>> L_0\\
@V{D_0}VV @VV{D_0}V\\
L_1 @>>{D_1}> M
    \end{CD}
  \end{equation*}




\end{comment}
Suppose also that $a$ is an element of $M$ that is separably algebraic over
$K$.  Then each $D_i$ extends uniquely to $K(a)$, and $D_ia\in
L_{1-i}(a)$, so $D_{1-i}D_ia$ is also well-defined.  Moreover, $[D_0,D_1]a=0$.
\end{lemma}

\begin{proof}
  The claim follows from standard facts, at least if $L_0=K=L_1$; but
  the proof is the same in the general case.  Indeed, though the
  derivations $D_0$ and $D_1$ are defined on $K$, their bracket
  $[D_0,D_1]$ need not be so, since the compositions $D_0D_1$ and
  $D_1D_0$ need not be so; but if they are, then $[D_0,D_1]$ is a
  \emph{derivation} on $K$.
  A derivation on $K$ extends uniquely to $\sep K$; if the derivation
  is $0$ on $K$, then it is $0$ on $\sep K$
  \cite[Fact~1.1~(2)]{MR2114160}.  
In the present case, as $a\in \sep K$, so $D_ia\in L_{1-i}(a)$, and
  therefore $D_ia\in\sep{L_{1-i}{}}$; hence $D_{1-i}D_ia$ is defined.
Thus $[D_0,D_1]$ is
  defined on $K(a)$, where $a\in \sep K$; and if the bracket is $0$ on
  $K$, then is $0$ at $a$.
\end{proof}

In positive characteristic, the possibility of inseparably algebraic
extensions presents a challenge, which however is handled by the following.
\begin{comment}




The following example illustrates how the challenge
can be overcome.  Over a differential field
$(K,\partial_0,\partial_1)$, where $\Char K=p>0$,
the differential equation
\begin{equation*}
  (\partial_0x)^p+x=\partial_1x
\end{equation*}
determines an extension
$K(a^{\xi}\colon\size{\xi}\leq 2)$ of $K$ that meets the differential
condition: the generators form a triangle thus: 
\begin{equation*}
  \begin{matrix}
    a&b^p+a&b^p+a\\
    b&b    &     \\
    c&     &
  \end{matrix}
\end{equation*}
where $(a,b,c)$ is algebraically independent over $K$.
In particular, $a^{(1,0)}$ (which has the value $b$) is an inseparable leader,
but none of the generators of height $2$ (namely, $a^{(0,2)}$,
$a^{(1,1)}$ and $a^{(2,0)}$) is an inseparable 
leader. 





\end{comment}

\begin{theorem}\label{thm:first}
Suppose $(K,\partial_0,\dots,\partial_{m-1})\models\mDF$, and $K$
has an extension $K(a_h^{\xi}\colon\size{\xi}\leq2r\land
h<n)$ meeting the differential condition for some positive integers
$r$ and $n$.  Suppose further that, whenever $a_k^{\sigma}$ is a
minimal separable leader, 
then $\size{\sigma}\leq r$.  Then  $(K,\partial_0,\dots,\partial_{m-1})$
has an extension 
$(M,D_0,\dots,D_{m-1})$
compatible with
$K(a_h^{\xi}\colon\size{\xi}<2r\land h<n)$.  
\end{theorem}

\begin{proof}
  The claim can be compared to and perhaps derived from a
  differential-alge\-braic lemma of 
  Rosenfeld \cite[\S~I.2]{MR0107642}, at least in
  characteristic~$0$.  Here I give an independent 
  argument, for arbitrary characteristic.  
We shall obtain $M$ recursively as
  $K(a_h^{\xi}\colon(\xi,h)\in\vnn^m\times n)$, at the same time
  proving inductively that the $\partial_i$ can be extended to $D_i$ so
  that~\eqref{eqn:Dia} holds in all cases.

Let $L=K(a_h^{\xi}\colon\size{\xi}<2r\land h<n)$; this is
$K(a_h^{\xi}\colon(\xi,h)\tleq((2r-1,0,\dots,0),n-1))$.  Then
by~\eqref{eqn:sumeta}, the differential
condition requires of the tuple 
$(a_h^{\xi}\colon\size{\xi}=2r\land h<n)$ only that it solve
some linear equations over $L$.  The hypothesis of our claim is that
there \emph{is} a solution, namely
 $(a_h^{\xi}\colon\size{\xi}=2r\land h<n)$.  We may therefore
assume that this tuple is a
\emph{generic} solution of these equations.  In particular, no entry
of this tuple is an inseparable leader.  (If, instead of being chosen generically, the entries of
$(a_h^{\xi}\colon\size{\xi}=2r\land h<n)$ were chosen from the field $L$,
then this field
would be closed under the desired extensions $D_i$ of $\partial_i$,
and the derivations $D_i$ would commute on the subfield
$K(a_h^{\xi}\colon\size{\xi}+1<2r\land h<n)$; but they might not
commute on all of $L$.) 

Now, as an inductive hypothesis, suppose we have the extension
$K(a_h^{\xi}\colon(\xi,h)\tl(\tau,{\ell}))$ of $K$ meeting the differential
condition, so that there are derivations $D_i$ as given by
Lemma~\ref{lem:above}; suppose also that
\begin{enumerate}
\item
if $a_k^{\sigma}$ is a minimal separable leader, then
$\size{\sigma}\leq r$;
\item
if $a_k^{\sigma}$ is an inseparable leader, then
$\size{\sigma}<2r$.
\end{enumerate}
We need
to choose $a_{\ell}^{\tau}$ in such a way that these conditions still
hold for $K(a_h^{\xi}\colon(\xi,h)\tleq(\tau,{\ell}))$.  
The inductive
hypothesis is correct when $\size{\tau}\leq2r$, and then the desired
conclusion follows; so we may
assume $\size{\tau}>2r$.  
Hence, if $\tau(i)>0$, so that $\tau-\ichar$ is defined, then
$\size{\tau-\ichar}\geq2r$, so
$a_{\ell}^{\tau-\ichar}$ is not an inseparable leader.  

If $a_{\ell}^{\tau-\ichar}$ is not a
leader at all, for any $i$ in $m$, then we may let $a_{\ell}^{\tau}$ be a
new transcendental, and we may define each derivative
$D_ia_{\ell}^{\tau-\ichar}$ as this \cite[Fact~1.1~(1)]{MR2114160}.  

In the other case, $a_{\ell}^{\tau-\ichar}$ is a
separable leader for some $i$.  Then $D_ia_{\ell}^{\tau-\ichar}$ is determined
(Lemma~\ref{lem:above}).  We want to let $a_{\ell}^{\tau}$ be this
derivative.  However, possibly also $a_{\ell}^{\tau-\jchar}$ is a
separable leader, where $i\neq j$.  In this case, we must check that
\begin{equation}\label{eqn:comm}
  D_ja_{\ell}^{\tau-\jchar}=D_ia_{\ell}^{\tau-\ichar},
\end{equation}
that is, $[D_i,D_j]a_{\ell}^{\tau-\ichar-\jchar}=0$. 

There are minimal separable leaders $a_{\ell}^{\pi}$ and $a_{\ell}^{\rho}$
below $a_{\ell}^{\tau-\ichar}$ and
$a_{\ell}^{\tau-\jchar}$ respectively.
Let $\nu$ be $\pi\vee\rho$,
the least upper bound of $\{\pi,\rho\}$ with respect to $\leq$.
Then $\nu\leq\tau$.  But
$\size{\nu}\leq\size{\pi}+\size{\rho}\leq2r<\size{\tau}$; so $\nu<\tau$. 
Hence $\nu\leq\tau-\kchar$ for some $k$ in $m$, which means
$a_{\ell}^{\nu}$ is below $a_{\ell}^{\tau-\kchar}$.
Consequently,
\begin{enumerate}
  \item
$a_{\ell}^{\pi}$ is below both $a_{\ell}^{\tau-\ichar}$ and
    $a_{\ell}^{\tau-\kchar}$;
\item
$a_{\ell}^{\rho}$ is below both $a_{\ell}^{\tau-\jchar}$ and
    $a_{\ell}^{\tau-\kchar}$.
\end{enumerate}
If $k=j$, then $a_{\ell}^{\pi}$ is below
$a_{\ell}^{\tau-\ichar-\jchar}$, so this is a separable leader.  As
$D_i$ and $D_j$ commute on
$K(a_h^{\xi}\colon (\xi,h)\tl(\tau-\ichar-\jchar,{\ell}))$ by the 
differential condition, they must
commute also at $a_{\ell}^{\tau-\ichar-\jchar}$ (Lemma~\ref{lem:comm}),
so~\eqref{eqn:comm} is established.  The argument is the same if
$k=i$.  If $k$ is different from $i$ and $j$, then again the same
argument yields
 $D_ja_{\ell}^{\tau-\jchar}=D_ka_{\ell}^{\tau-\kchar}$ and
 $D_ka_{\ell}^{\tau-\kchar}=D_ia_{\ell}^{\tau-\ichar}$,
so~\eqref{eqn:comm} holds.   

In no case did we introduce a new minimal separable leader or an
  inseparable leader.  This completes the induction and the
  proof.  
\end{proof}

%The claim at the end of the last subsection (\ref{subsect:example}) is now justified.

In terms of differential polynomials and ideals, the theorem can be
understood as follows.  Given the hypothesis of the theorem, let $S$
be the set of differential polynomials
$f(\partial^{\xi}x_h\colon\size{\xi}<2r\land h<n)$, where $f$
ranges over the ordinary polynomials over $K$ such that
$f(a^{\xi}_h\colon\size{\xi}<2r\land h<n)=0$.  Then $S$
includes a characteristic set for the differential ideal that it
generates.  

We can now characterize the existentially closed models of $\mDF$ by
means of the following lemma.  The lemma follows from unproved
statements in \cite[\S~0.17, p.~49]{MR58:27929}; let's just prove it here.  

\begin{lemma}\label{lem:fin}
For every $m$ in $\vnn$ and positive integer $n$, 
  every antichain of $(\vnn^m\times n,\leq)$ is finite.
\end{lemma}

\begin{proof}
The general case
follows from the case when $n=1$, since if $S$ is an antichain of
$(\vnn^m\times n,\leq)$, then 
\begin{equation*}
S=\bigcup_{j<n}\{(\xi,h)\in S\colon h=j\}, 
\end{equation*}
and each component of the union is in bijection with
an antichain of $(\vnn^m,\leq)$.  As an inductive hypothesis,
suppose every antichain of 
$(\vnn^{\ell},\leq)$ is finite; but suppose also, if possible, that
there is an infinite 
antichain $S$ of $(\vnn^{\ell+1},\leq)$.  Then $S$ contains some
$\sigma$.  By inductive hypothesis, the subset
\begin{equation*}
  \bigcup_{j\leq\ell}\bigcup_{i\leq\sigma(j)}\{\xi\in S\colon\xi(j)=i\}
\end{equation*}
of $S$
is a finite union of finite sets, so its complement in
$S$ has infinitely many elements $\tau$; but then $\sigma<\tau$, so
$S$ was not an antichain.
\end{proof}

\begin{theorem}\label{thm:dcf}
Suppose $(K,\partial_0,\dots,\partial_{m-1})\models\mDF$.  Then the
following are equivalent:
\begin{enumerate}
  \item\label{item:ec}
The model
$(K,\partial_0,\dots,\partial_{m-1})$ of $\mDF$ is existentially closed.
\item\label{item:<}
For all positive integers $r$ and $n$, if $K$ has an extension
$K(a_h^{\xi}\colon\size{\xi}\leq2r\land h<n)$ meeting the
differential condition such that $\size{\sigma}\leq r$ whenever
$a_k^{\sigma}$ is a minimal separable leader, then the tuple
$(a_h^{\xi}\colon\size{\xi}<2r\land h<n)$ has a
specialization $(\partial^{\xi}b_h\colon\size{\xi}<2r\land
h<n)$ for some tuple $(b_h\colon h<n)$ of elements of $K$. 
\end{enumerate}
\end{theorem}

\begin{proof}
Assume~\eqref{item:ec} and the hypothesis of~\eqref{item:<}.  Let $S$ be a 
  (finite) generating set of the ideal of
 $(a_h^{\xi}\colon\size{\xi}<2r\land h<n)$ over $K$.  By
  Theorem~\ref{thm:first}, the system 
  \begin{equation*}
    \bigwedge_{f\in S}f(\partial^{\xi}x_h\colon\size{\xi}<2r\land h<n)=0
  \end{equation*}
has a solution in some extension, hence it has a solution
in $K$ itself, which means the conclusion of~\eqref{item:<} holds.
So~\eqref{item:<} is necessary for~\eqref{item:ec}.

Every system over $(K,\partial_0,\dots,\partial_{m-1})$ is equivalent to a
system of equations.  Suppose such a system has a
solution $(a_h\colon h<n)$ in some extension $(L,D_0,\dots,D_{m-1})$.  
Then the extension $K(\partial^{\xi}a_h\colon(\xi,h)\in(\vnn^m\times
n))$ has a \emph{finite} set of minimal separable leaders, by
Lemma~\ref{lem:fin}, since this
set is indexed by an antichain of $(\vnn^m\times n,\leq)$.
Hence there is $r$ large enough that all of these minimal separable
leaders are also generators of 
$K(D^{\xi}a_h\colon\size{\xi}\leq r\land h<n)$.  We may assume also
that $r$ is large enough that $\size{\sigma}\leq r$ for every
derivative $\partial^{\sigma}x_k$ that appears in the original
system.  The hypothesis of~\eqref{item:<} is now satisfied when each
$a^{\sigma}_k$ is taken as $D^{\sigma}a_k$.  If the conclusion
of~\eqref{item:<} follows, then $(b_h\colon h<n)$ is a solution of the
original system.
Thus,~\eqref{item:<} is sufficient
for~\eqref{item:ec}. 
\end{proof}

\begin{corollary}\label{cor:dcf}
  The theory $\mDF$ has a model-companion, $\mDCF$.
\end{corollary}

\begin{proof}
Let $(K,\partial_0,\dots,\partial_{m-1})$ be a model of $\mDF$, and $L$ an extension $K(a_h^{\xi}\colon\size{\xi}\leq2r\land
h<n)$ of $K$  meeting the differential condition, and
$\size{\sigma}\leq r$ whenever $a_k^{\sigma}$ is a minimal separable
leader.  As noted in the proof of Theorem~\ref{thm:first}, we may
assume that there are no inseparable leaders $a_h^{\xi}$ such that
$\size{\xi}=2r$.  For the moment, write $(a_h^{\xi}\colon\size{\xi}\leq2r\land 
h<n)$ simply as $\tuple a$.
The ideal of $K[\tuple x]$ comprising the polynomials that are $0$ at
$\tuple a$ is generated by a set $\{f(\tuple p,\tuple x)\colon f\in
S\}$, where $S$ is a finite subset of $\mathbb Z[\tuple y,\tuple x]$,
and $\tuple p$ is a (finite) list of parameters from $K$.  In order to
develop an axiomatization of $\mDCF$, suppose
there is a formula $\phi(\tuple y)$ such that, for all differentially
perfect models $(K',\partial_0,\dots,\partial_{m-1})$ of $\mDF$ and
all lists $\tuple q$ of parameters from $K'$, the sentence
$\phi(\tuple q)$ holds in that model if and only if  
\begin{enumerate}
\item
the set $\{f(\tuple q,\tuple x)\colon f\in S\}$ generates a prime ideal of $K'[\tuple x]$, and
\item
for a generic zero $\tuple b$ of the set, the extension $K'(\tuple b)$, that is,
$K'(b_h^{\xi}\colon\size{\xi}\leq2r\land
h<n)$, of $K'$  meets the differential condition, and $\size{\sigma}\leq r$
whenever $b_k^{\sigma}$ is a minimal separable leader. 
\end{enumerate}
Then the sentence
\begin{equation}\label{eqn:ax}
\phi(\tuple y)\lto\Exists{\tuple x}\Bigl(\bigwedge_{f\in S}f(\tuple y,\tuple x)=0\land
\bigwedge_{i<m}\bigwedge_{h<n}\bigwedge_{\size{\xi+\ichar}\leq2r}x_h^{\xi+\ichar}=\partial_ix_h^{\xi}\Bigr)
\end{equation}
is true in every existentially closed model of $\mDF$.  So now all we have to do is find such a formula $\phi(\tuple y)$.  In fact, what we find will not be this $\phi(\tuple y)$ exactly, but it will be close enough.

Every existentially closed model of $\mDF$ is differentially perfect
\cite[Lem.\ 2.4, p.~1334]{MR2114160}.  The differentially perfect
models compose an elementary class, with a theory $\mDPF$.  We shall
show that $\mDCF$ is axiomatized by the axioms of $\mDPF$, along with
sentences that are formed roughly as in~\eqref{eqn:ax} and that are
obtained as  
$(K,\partial_0,\dots,\partial_{m-1})$ ranges over the differentially
perfect models of $\mDF$ (or simply the countable differentiably
perfect models). 

The point of considering only differentially perfect models
$(K,\partial_0,\dots,\partial_{m-1})$ is that now, 
since the derivations on $K$ can be extended to $L$ as above, the
extension $L/K$ is separable \cite[Lem.~1.5, p.~1328]{MR2114160}.
Hence there is a set $A$ of indices $(\xi,h)$ such that
$(a_h^{\xi}\colon(\xi,h)\in A)$ is a separating transcendence basis of
$L/K$.  Changing its earlier meaning, let us now use $\tuple a$ to
denote the basis $(a_h^{\xi}\colon(\xi,h)\in A)$.
Let $B$ consist of the indices $(\xi,h)$ that are not in $A$, although
still $\size{\xi}\leq2r$ and $h<n$; also, write $\tuple b$ for  
$(a_h^{\xi}\colon(\xi,h)\in B)$.  Now we can write
\begin{equation*}%\label{eqn:AB}
(a_h^{\xi}\colon\size{\xi}\leq2r\land h<n)=(a_h^{\xi}\colon(\xi,h)\in
  A\cup B)=(\tuple a,\tuple b). 
\end{equation*}
For each $(\eta,g)$ in $B$, there is an irreducible polynomial over
$K$ that expresses the separable algebraic dependence of $a_g^{\eta}$
on $\tuple a$.  More precisely, there is a list $\tuple p$ of
parameters from $K$, and for each $(\eta,g)$ in $A$, there is an
element $f_g^{\eta}$ of $\mathbb Z[\tuple y,x_h^{\xi}\colon(\xi,h)\in
  A\cup\{(\eta,g)\}]$ such that $f_g^{\eta}(\tuple p,\tuple
a,x_g^{\eta})$ is irreducible and separable, and 
$f_g^{\eta}(\tuple p,\tuple a,a_g^{\eta})=0$.  

Let $V$ be the variety over $K$ with generic point $(\tuple a,\tuple
b)$.  The tangent space $T(V)_{(\tuple a,\tuple b)}$ consists of all
points $(\tuple a',\tuple b')$ such that the zero-derivation $D$ on
$K$ extends to $K(\tuple a,\tuple b)$, that is, to $L$, so that
$D(\tuple a,\tuple b)=(\tuple a',\tuple b')$.  In particular, the
tangent space is defined by the linear functions $Df_g^{\eta}(\tuple
p,a_h^{\xi},\tuple 0,z_h^{\xi}\colon(\xi,h)\in A\cup\{(\eta,g)\})$,
which we may write as  
$Df_g^{\eta}(\tuple p,\tuple a,a_g^{\eta},\tuple 0,\tuple z,z_g^{\eta})$.
For each $i$ in $m$, this tangent space has the translation
$T_i(V)_{(\tuple a,\tuple b)}$ (part of the twisted tangent bundle
mentioned in~\ref{sect:first-der}) comprising those $(\tuple a',\tuple
b')$ such that $\partial_i$ extends to $D_i$ so that $D_i(\tuple
a,\tuple b)=(\tuple a',\tuple b')$.  In particular, the affine space
$T_i(V)_{(\tuple a,\tuple b)}$ is defined by the functions
$\partial_if_g^{\eta}(\tuple p,\tuple a,a_g^{\eta},\partial_i\tuple
p,\tuple z,z_g^{\eta})$.  Therefore, whenever $f\in
K(x_h^{\xi}\colon(\xi,h)\in A\cup B)$ and $f(\tuple a,\tuple b)=0$,
then $\partial_if(\tuple a,\tuple b,\tuple z,\tuple w)$ is a linear
combination over $L$ of the functions $\partial_if_g^{\eta}(\tuple
p,\tuple a,a_g^{\eta},\partial_i\tuple p,\tuple z,z_g^{\eta})$. 
This will allow the formula $\phi(\tuple y)$ to ensure that the differential
condition is met.  

A complication is that, for some $(\xi,h)$ in $A$,
we may have $\size{\xi}=2r$.
But by Theorem~\ref{thm:first}, or more precisely its proof, since we have
assumed there is no separable leader $a_h^{\xi}$ such that
$\size{\xi}=2r$, we may assume further that there are $a_h^{\xi}$
chosen generically when
$\size{\xi}=2r+1$ such that $(K,\partial_0,\dots,\partial_{m-1})$ has
an extension compatible with $K(a_h^{\xi}\colon\size{\xi}\leq2r+1\land
h<n)$.  By lengthening $\tuple p$ as necessary, we may assume that
there is a finite subset $S$ of $\mathbb Z[\tuple
  y,x_h^{\xi}\colon\size{\xi}\leq2r+1\land h<n]$ that contains all of
the polynomials $f_g^{\eta}$ and is such that $\{f(\tuple
p,x_h^{\xi}\colon\size{\xi}\leq2r+1\land h<n)\colon f\in S\}$
generates the ideal of polynomials over $K$ that are $0$ at
$(a_h^{\xi}\colon\size{\xi}\leq2r+1\land h<n)$.  By the existence of
an extension of $(K,\partial_0,\dots,\partial_{m-1})$ compatible with
$K(a_h^{\xi}\colon\size{\xi}\leq2r+1\land h<n)$, each polynomial
$\partial_if_g^{\eta}(\tuple 
p,x_h^{\xi},\partial_i\tuple p,x_h^{\xi+\ichar}\colon(\xi,h)\in
A\cup\{(\eta,g)\})$ is a certain linear combination of the polynomials
$f(\tuple p,x_h^{\xi}\colon\size{\xi}\leq2r+1\land h<n)$, where $f\in
S$.  Conversely,
this conclusion is enough to ensure that
$K(a_h^{\xi}\colon\size{\xi}\leq2r+1\land h<n)$ meets the differential
condition. 

We can lengthen $\tuple p$ and enlarge $S$
further, if necessary, to ensure that $S$ contains polynomials showing that each leader $a_h^{\xi}$ is
algebraically 
dependent on its predecessors.
We can now
write a formula $\phi(\tuple y)$ that is satisfied in
$(K,\partial_0,\dots,\partial_{m-1})$ by $\tuple p$ and is such that, 
if $\tuple q$ satisfies $\phi(\tuple y)$ in an arbitrary
differentially perfect model 
$(K',\partial_0,\dots,\partial_{m-1})$ of $\mDF$, and
$(c_h^{\xi}\colon\size{\xi}\leq2r+1\land h<n)$ is a generic point of a
component of the zero-set of $\{f(\tuple
q,x_h^{\xi}\colon\size{\xi}\leq2r+1\land h<n)\colon f\in S\}$, then:
\begin{enumerate}
\item
 each polynomial $f_g^{\eta}(\tuple q,\tuple c,z_g^{\eta})$ is
 irreducible and separable,
where $\tuple c=(c_h^{\xi}\colon(\xi,h)\in
 A)$;
 \item
if $a_h^{\xi}$ is a leader, then so is $c_h^{\xi}$, and these are alike separable or not;
\item\label{item:mt}
the transcendence-degrees of $K(a_h^{\xi}\colon\size{\xi}\leq2r+1\land h<n)/K$ and
$K'(c_h^{\xi}\colon\size{\xi}\leq2r+1\land h<n)/K'$ are the same, so that
$c_h^{\xi}$ is a leader only if $a_h^{\xi}$ is;
  \item
 the extension
$K'(c_h^{\xi}\colon(\xi,h)\in A\cup B)$ satisfies the differential condition.
\end{enumerate}
Here the possibility of ensuring the field-theoretic
condition~\eqref{item:mt} is an instance of the general
model-theoretic result that Morley rank is definable in strongly
minimal theories \cite[Lem.~6.2.20, p.~225]{MR1924282}. 
It is not necessary to ensure that the set
$\{f(\tuple
q,x_h^{\xi}\colon\size{\xi}\leq2r+1\land h<n)\colon f\in S\}$ generates a prime ideal; it is enough that this is so when $\tuple q$ is $\tuple p$.
The sentence in~\eqref{eqn:ax} is now true in all existentially closed
models of $\mDF$, and the set of all such sentences, together with
$\mDPF$, axiomatizes $\mDCF$ as described. 
\begin{comment}






I shall show that the theory $\mDCF$ is axiomatized \emph{modulo}
$\mDF$ by certain 
sentences 
\begin{equation*}
  \Forall{\tuple y}(\phi(\tuple y)\lto\Exists{\tuple x}\psi(\tuple
  x,\tuple y)).
\end{equation*}
In particular, 
for each model of $mDF$,
there will be one such sentence 
for each extension of the underlying field that is as in the hypothesis
of~\eqref{item:<}.  (So
the axioms of $\mDCF$ will  not be given recursively.) 

Suppose indeed $(K,\partial_0,\dots,\partial_{m-1})\models\mDF$, and
$K(a_h^{\xi}\colon\size{\xi}\leq2r\land
h<n)$  meets the differential condition, and $\size{\sigma}\leq r$
whenever $a_k^{\sigma}$ is a minimal separable leader.  There is a
finite set $S$ of differential polynomials over $K$ meeting the
following conditions:
\begin{enumerate}
\item\label{item:f}
Each element of $S$ is $f(\partial^{\xi}x_h\colon\size{\xi}< 2r\land
h<n)$ for some ordinary polynomial $f$ over $K$, and the set of such
$f$ generates the ideal of $(a_h^{\xi}\colon\size{\xi}< 2r\land h<n)$
over $K$.
\item\label{item:g}
Suppose $a_k^{\sigma}$ is a leader of
$K(a_h^{\xi}\colon\size{\xi}<2r\land h<n)$, and let $A_k^{\sigma}$ be the set of
$(\xi,h)$ such that $a_h^{\xi}$ is a predecessor of $a_k^{\sigma}$
that is not a leader.  
So $(a^{\xi}_h\colon(\xi,h)\in A_k^{\sigma})$ is algebraically independent over
$K$, but $a_k^{\sigma}$ is algebraic over $K(a^{\xi}_h\colon(\xi,h)\in
A_k^{\sigma})$.  Then $S$ contains some differential polynomial
$g_k^{\sigma}(\partial^{\sigma}x_k,\partial^{\xi}x_h\colon(\xi,h)\in
A_k^{\sigma})$, where 
$g_k^{\sigma}$ is an ordinary polynomial, irreducible over $K$.  This means
$g_k^{\sigma}(\partial^{\sigma}x_k,a^{\xi}_h\colon(\xi,h)\in A_k^{\sigma})$ is a constant
multiple of the minimal polynomial of $a_k^{\sigma}$ over
$K(a_h^{\xi}\colon(\xi,h)\in A_k^{\sigma})$.
\end{enumerate}
There is now a formula $\psi(\tuple x,\tuple y)$ such that, for some
parameters $\tuple c$ from $K$, the formula $\psi(\tuple x,\tuple c)$
is the conjunction of those equations $F(\tuple x)=0$ such that $F\in
S$.  There is also a formula $\phi(\tuple y)$, which is a conjunction
of universal formulas given as follows:
\begin{enumerate}\setcounter{enumi}2
\item 
Each polynomial $g_k^{\sigma}$ as in~\eqref{item:g} can be understood as
$h_k^{\sigma}(\tuple c,x^{\sigma}_k,x^{\xi}_h\colon(\xi,h)\in
A_k^{\sigma})$ for some ordinary polynomial $h_k^{\sigma}$, that is,
$h_k^{\sigma}(\tuple y,x^{\sigma}_k,x^{\xi}_h\colon(\xi,h)\in A_k^{\sigma})$, with
no parameters.  Then one of the conjuncts of $\phi(\tuple y)$ says
that $h_k^{\sigma}$ cannot be factorized as a product of polynomials
that are all nonconstant in $x^{\sigma}_k$. 
\item\label{item:h}
Each polynomial $f$ as in~\eqref{item:f} is
$h_f(\tuple c,\partial^{\xi}x_h\colon\size{\xi}< 2r\land h<n)$ for some
ordinary polynomial $h_f$,
that is,
$h_f(\tuple y,\partial^{\xi}x_h\colon\size{\xi}< 2r\land h<n)$, with
no parameters.  We may apply some $\partial_i$ formally, replacing
$\partial_ix_h^{\xi}$ with $x_h^{\xi+\ichar}$.  If $\size{\xi}<2r-1$
for each $x_h^{\xi}$ appearing in $h_f$, then, by the differential
condition, after we replace $\tuple
y$ with $\tuple c$ in $\partial_ih_f$, the result belongs to the ideal
mentioned in~\eqref{item:f}, so it is a linear
combination over $K(x_h^{\xi}\colon\size{\xi}<2r\land h<n)$ of some
$f$ as in~\eqref{item:f}.  The only parameters needed to express this
are $\tuple c$.  We can pull those out and get a system in $\tuple y$ saying
$\partial_ih_f$ is a certain linear combination of the polynomials
appearing in $\psi(\tuple x,\tuple y)$.  This system is a conjunct of
$\phi(\tuple y)$.
\item
If we take all of the $\partial_ih_f$ as in~\eqref{item:h}, but where
$\size{\xi}=2r-1$ for some $x_h^{\xi}$ appearing in $h_f$, we get a
linear system in those $x_h^{\xi}$ such that $\size{\xi}=2r$.  By the
differential condition, this system is soluble \emph{modulo} the ideal
mentioned in~\eqref{item:f}.  This solubility then is expressed by a
quantifier-free sentence in $\tuple c$; the result of replacing
$\tuple c$ with $\tuple y$ is one of the conjuncts of $\phi(\tuple
y)$. 
\end{enumerate}
It is not guaranteed that, for every choice of model
$(L,\partial_0,\dots,\partial_{m-1})$  of $\mDF$ and
choice of parameters $\tuple d$ from $L$, 
the polynomials in $\psi(\tuple x,\tuple d)$ (thought of as ordinary
polynomials) generate a prime ideal. 
We \emph{could} guarantee it, as by use of \cite{MR739626}, but we
need not.  Suppose $(b_h^{\xi}\colon\size{\xi}<2r\land
h<n)$ is a generic point of \emph{some} component of the algebraic set
defined by those polynomials.  If also
$(b_h^{\xi}\colon\size{\xi}=2r\land h<n)$ exists so that
$L(b_h^{\xi}\colon\size{\xi}\leq 2r\land h<n)$ meets the
differential condition, then perhaps 
 $\phi(\tuple d)$ is not implied; but the converse implication does
hold, and the hypothesis of 
part~\eqref{item:<} of the theorem is satisfied; so
$\phi(\tuple d)\lto\Exists{\tuple x}\psi(\tuple
  x,\tuple d)$ is consistent.






\end{comment}
\end{proof}

By Theorem~\ref{thm:if-mDF}, $\DF^m$ now also has a model-companion.

\subsection{Differential forms again}

The condition in Theorem~\ref{thm:first} can be adjusted to yield the
following: 

\begin{theorem}\label{thm:second}
Suppose $(K,\partial_0,\dots,\partial_{m-1})\models\mDF$, and $K$
has an extension $K(a_h^{\xi}\colon\size{\xi}\leq\size{\mu}\land
h<n)$ meeting the differential condition for some $\mu$ in $\vnn^m$
and some positive integer $n$.  Suppose further that, if $a_k^{\sigma}$ is a
minimal separable leader, 
then $\sigma\leq\mu$.  Then  $(K,\partial_0,\dots,\partial_{m-1})$
has an extension 
compatible with
$K(a_h^{\xi}\colon\size{\xi}<\size{\mu}\land h<n)$.  
\end{theorem}

\begin{proof}
  The proof is as for Theorem~\ref{thm:first}, \emph{mutatis
  mutandis.}  What needs adjusting is the choosing of
  $a_{\ell}^{\tau}$ in case both $a_{\ell}^{\tau-\ichar}$ and
  $a_{\ell}^{\tau-\jchar}$ are separable leaders.  Again we have
  minimal separable leaders
 $a_{\ell}^{\pi}$ and $a_{\ell}^{\rho}$
below $a_{\ell}^{\tau-\ichar}$ and
$a_{\ell}^{\tau-\jchar}$ respectively.  Since we may assume
  $\size{\mu}<\size{\tau}$, there is some $k$ in $m$
  such that $\mu(k)<\tau(k)$.  If $k=j$, then
  $\pi(j)\leq\mu(j)<\tau(j)$, so
  $\pi(j)\leq(\tau-\jchar)(j)=(\tau-\ichar-\jchar)(j)$.  Then
  $\pi\leq\tau-\ichar-\jchar$, so $a_{\ell}^{\pi}$ is below
  $a_{\ell}^{\tau-\ichar-\jchar}$.  Now we can proceed as before. 
\end{proof}

As Theorem~\ref{thm:first} yields Theorem~\ref{thm:dcf}, so
Theorem~\ref{thm:second} yields a characterization of the existentially
closed models of $\mDF$.  Moreover,
Theorems~\ref{thm:first} and~\ref{thm:second} can be combined in the
following way:

\begin{theorem}\label{thm:third}
Suppose $(K,\partial_0,\dots,\partial_{m-1})\models\mDF$, and $K$
has an extension $K(a_h^{\xi}\colon\size{\xi}\leq2r\land
h<n)$ meeting the differential condition for some positive integers $n$
and $r$.  Suppose further that, for each $k$ in $m$, either
 $\size{\sigma}\leq r$ whenever $a_k^{\sigma}$ is a 
minimal separable leader, or else there is some $\tau$ in $\vnn^m$
such that $\size{\tau}=2r$, and
 $\size{\sigma}\leq\size{\tau}$ whenever $a_k^{\sigma}$ is a 
minimal separable leader.
Then  $(K,\partial_0,\dots,\partial_{m-1})$
has an extension 
compatible with
$K(a_h^{\xi}\colon\size{\xi}<2r\land h<n)$.    
\end{theorem}

\begin{proof}
  Combine the proofs of
Theorems~\ref{thm:first} and~\ref{thm:second}.
\end{proof}

There is a corresponding first-order characterization of the
models of $\mDCF$, parallel to Theorem~\ref{thm:dcf} and
Corollary~\ref{cor:dcf}. 


\begin{comment}



Suppose $K(a_h^{\xi}\colon\size{\xi}\leq\size{\mu}\land h<n)$ is as in
the hypothesis of Theorem~\ref{thm:second}, and $\size{\mu}>2$.  If
$\size{\tau}\leq2$ and $\size{\sigma+\tau}\leq\size{\mu}$, let
$a_{(\sigma,k)}^{\tau}$ denote $a_k^{\sigma+\tau}$.  Then the
extension of $K$ can be written as
\begin{equation}\label{eqn:ext}
  K(a_{(\xi,h)}^{\eta}\colon
  \size{\eta}\leq2\land(\xi,h)\tl((0,\dots,0,\size{\mu}-1),0)),
\end{equation}
but this no longer need satisfy the conditions in
Theorem~\ref{thm:third}.  For example, in case $m=2$ and $n=1$ and
$\mu=(3,0)$, the original extension might determine the following
triangle, with the single leader underlined:
\begin{equation}\label{eqn:a-k}
  \begin{matrix}
    a&b&d&g\\
    c&e&h& \\
    f&k& & \\
    \underline a& & &
  \end{matrix}
\end{equation}
Then the derived extension in~\eqref{eqn:ext} determines three
triangles thus, with minimal separable leaders underlined:
\begin{equation*}
  \begin{matrix}
    a&\underline b&d\\
    \underline c&e& \\
    f           & &
  \end{matrix}
\qquad\qquad
\begin{matrix}
  b&d&g\\
  e&h& \\
  k& &
\end{matrix}
\qquad\qquad
\begin{matrix}
  c&\underline e&h\\
  f&k&            \\
  \underline a& &
\end{matrix}
\end{equation*}
We know that the two minimal separable leaders in the last triangle
will not cause a problem; but we don't know this directly from the
tree small triangles.  In the present context, the
system~\eqref{eqn:step-1} is
\begin{align*}
  \dee a&=\dee t^0\cdot c+\dee t^1\cdot b,&
  \dee b&=\dee t^0\cdot e+\dee t^1\cdot d,&
  \dee c&=\dee t^0\cdot f+\dee t^1\cdot e,\\
  \dee d&=\dee t^0\cdot h+\dee t^1\cdot g,&
  \dee e&=\dee t^0\cdot k+\dee t^1\cdot h,&
  \dee f&=\dee t^0\cdot a+\dee t^1\cdot k,
\end{align*}
and then~\eqref{eqn:jkim} consists of $\partial_0g=\partial_1h$,
$\partial_0h=\partial_1k$, and
$\partial_0k=b$.  As linear equations, these are soluble, but they
don't carry the information in~\eqref{eqn:a-k} that lets us know that
the corresponding differential system is soluble.


\end{comment}

\subsection{Another sufficient condition}

If $(K,\partial_0,\dots,\partial_{m-1})\models\mDF$, and
$K(a_h^{\xi}\colon\size{\xi}\leq\size{\pi}\land h<n)$ is an extension $L$
of $K$ meeting the differential condition, this by itself is not enough
to ensure that $(K,\partial_0,\dots,\partial_{m-1})$
has an extension compatible with
$L$.  However, if such
an extension does exist, then its existence can be shown by means of 
Theorem~\ref{thm:first}, provided $\size{\pi}$ can be made large
enough:  this is
Theorem~\ref{thm:s} below, which relies on the existence of
bounds as in the following.

\begin{lemma}
  For all positive integers $m$ and $n$, for all sequences $(a_i\colon
  i\in\vnn)$ of positive integers, there is a 
  bound on the length of strictly increasing chains
  \begin{equation}\label{eqn:chain}
    S_0\pincluded S_1\pincluded S_2\pincluded\dotsb
  \end{equation}
of antichains $S_k$ of $(\vnn^m\times n,\leq)$, where also
$S_k\included\{(\xi,h)\colon\size{\xi}\leq a_k\}$.
\end{lemma}

\begin{proof}
Divide and conquer.
  First reduce to the case when $n=1$.  Indeed, suppose the claim
  does hold in this case.  Suppose also, as an inductive hypothesis,
  that the claim holds when $n=\ell$.  Now fix $m$ and the sequence
  $(a_i\colon i\in\vnn)$ or rather  $(a(i)\colon i\in\vnn)$, and
  consider arbitrary chains as 
  in~\eqref{eqn:chain}, where $n=\ell+1$.  Analyze each $S_k$ as
  $S_k'\cup S_k''$, where
  \begin{align*}
    S_k' &=\{(\xi,h)\in S_k\colon h<\ell\},&
    S_k''&=\{(\xi,h)\in S_k\colon h=\ell\}.
  \end{align*}
For each $k$ such that $S_{k+1}$ exists, at least one of the
inclusions $S_k'\included S_{k+1}'$ and $S_k''\included S_{k+1}''$
is strict; also, by our assumption, there is an upper bound
$f(k)$ on those $r$ such that
\begin{equation}\label{eqn:sk''}
  S_k''\pincluded S_{k+1}''\pincluded\dotsb\pincluded S_{r-1}''.
\end{equation}
The function $f$ depends only on
$m$ and $(a_i\colon i\in\vnn)$), not on the choice
of chain in~\eqref{eqn:chain}.

Let $k(0)=0$, and if $k(i)$ has been chosen, let $k(i+1)$ be the least
$r$, if it exists, such that $S_{k(i)}'\pincluded S_r'$.  
Here $k(i)$ does depend on the chain.
But if $r$ is maximal in~\eqref{eqn:sk''}, and $S_r'$ exists,
then $S_k'\pincluded S_r'$.
Hence
$k(i+1)\leq f(k(i))$.  Since the function $f$ is not necessarily
increasing, we derive from it the increasing function $g$, where
$g(k)=\max_{i\leq k}f(i)$.  Then $x\leq y\implies g(x)\leq g(y)$, so
\begin{equation}\label{eqn:krg}
  k(r)\leq f(k(r-1))\leq g(k(r-1))\leq g\circ g(k(r-2))\leq\dotsb
\leq
\overbrace{g\circ\dotsb\circ g}^r(0)=g^r(0).
\end{equation}
In particular,
$S_{k(r)}\included\{(\xi,h)\colon\size{\xi}\leq
a(g^r(0))\}$.  The sequence $(a(g^i(0))\colon i\in\vnn)$ does not
depend on the original chain.
Hence the inductive hypothesis applies to the chain
\begin{equation}\label{eqn:chain2}
  S_{k(0)}'\pincluded S_{k(1)}'\pincluded\dotsb,
\end{equation}
showing
that there is $s$ (independent of the original chain) such that
$k(s)$ is defined, and $r\leq s$ for all entries $S_{k(r)}'$
in~\eqref{eqn:chain2}.  
Hence also, by~\eqref{eqn:krg}, if
$S_r'$ is an entry in~\eqref{eqn:chain2}, then $r\leq k(s)\leq
g^s(0)$. 

Now suppose $S_r'$ is the final entry in~\eqref{eqn:chain2}.  Then
$S_r''\pincluded S_{r+1}''\pincluded\dotsb$; but if $S_t''$ is an
entry of this chain, then $t<f(r)\leq g(r)\leq g(g^s(0))=g^{s+1}(0)$. 

Therefore the
original chain in~\eqref{eqn:chain} has a final entry $S_t$, where
$t<g^{s+1}(0)$.  Thus the claim holds when $n=\ell+1$.  By induction, the
claim holds for all positive $n$, provided it holds when $n=1$.

It remains to show that, for all positive $m$, for all sequences
$(a_i\colon i\in\vnn)$, there is a bound on the length of chains
\begin{equation}\label{eqn:chain3}
  S_0\pincluded S_1\pincluded S_2\pincluded\dotsb
\end{equation}
of antichains $S_k$ of $(\vnn^m,\leq)$,
where $S_k\included\{\xi\colon\size{\xi}\leq a_k\}$.  The claim is
trivially true when $m=1$.  Suppose it is true when $m=\ell$.  Now let
$m=\ell+1$, and suppose we have a chain as in~\eqref{eqn:chain3}.  We
may assume that $S_0$ contains some $\sigma$.  If $i<m$ and
$j\in\vnn$, let
\begin{equation*}
  S_k^{i,\,j}=\{\xi\in S_k\colon\xi(i)=j\}.
\end{equation*}
Then the inductive hypothesis applies to chains of the form
\begin{equation*}
  S_{k(0)}^{i,\,j}\pincluded
  S_{k(1)}^{i,\,j}\pincluded
  S_{k(2)}^{i,\,j}\pincluded\dotsb.
\end{equation*}
Moreover, if $\tau\in S_k$, then $\tau(i)\leq\sigma(i)$ for some $i$
in $m$ (since
$\sigma$ is also in $S_k$, and this is an antichain).  Hence
\begin{equation*}
  S_k=\bigcup_{i<m}\bigcup_{j\leq\sigma(i)}S_k^{i,\,j},
\end{equation*}
a union of no more than $\size{\sigma}+m$-many sets, hence no more than
$a_0+m$-many 
sets.  So the proof can proceed as in the reduction to $n=1$: for each
$k$ such that $S_{k+1}$ exists, one of the inclusions
$S_k^{i,\,j}\included S_{k+1}^{i,\,j}$ is strict, and so forth.
\end{proof}

\begin{theorem}\label{thm:s}
  Suppose $m$, $r$,
  and $n$ are positive integers.  Then there is a positive integer $s$, where $r\leq s$, such that, if 
 $(K,\partial_0,\dots,\partial_{m-1})\models\mDF$, and
$K(a_h^{\xi}\colon\size{\xi}\leq s\land
  h<n)$ meets the differential condition, then
  $(K,\partial_0,\dots,\partial_{m-1})$ has an extension that is
  compatible with $K(a_h^{\xi}\colon\size{\xi}\leq
  r\land h<n)$.
\end{theorem}

\begin{proof}
Suppose $K(a_h^{\xi}\colon\size{\xi}\leq 2^tr\land h<n)$ 
meets the differential condition for some~$t$.  When $u\leq t$, let
  $K_u=K(a_h^{\xi}\colon\size{\xi}\leq 2^ur\land h<n)$, and let $S_u$
  be the set of minimal separable leaders of $K_u$.  Then we have an
  increasing chain $S_0\included S_1\included\dots\included S_t$.
  By the preceding lemma, there is a value of $t$, depending only on
  $m$, $r$, and $n$, large
  enough that this chain cannot be strictly increasing.  Then
  $S_u=S_{u+1}$ for some $u$ less than this~$t$.  
  Then $K_{u+1}$ satisfies the hypothesis of Theorem~\ref{thm:first}.  
So $(K,\partial_0,\dots,\partial_{m-1})$ has an extension compatible
  with $K(a_h^{\xi}\colon\size{\xi}<2^{u+1}r\land h<n)$, and \emph{a
  fortiori} with 
 $K(a_h^{\xi}\colon\size{\xi}\leq r\land h<n)$.  In short, the desired
  $s$ is $2^tr$.
\end{proof}

This theorem yields yet another first-order characterization of the models of
$\mDCF$.

%\bibliographystyle{asl}
%\bibliography{../../../../TeX/references}

\def\cprime{$'$}


\begin{thebibliography}{}

\bibfitem{MR0272613}
{\guy{J.}{Jon}{}{Barwise}{} and \guy{A.}{Abraham}{}{Robinson}{}}
{1970}{}{0}
{}{}
\guysmagic{{\scshape Jon Barwise \biband{} Abraham Robinson}}  {\em Completing
  theories by forcing}, {\bfseries\itshape Ann. Math. Logic}, vol.\weaktie
  2\yearmagic{}{(1970)}, no.\weaktie 2, pp.\weaktie 119--142.
\TheSortKeyIs{barwise  jon   robinson  abraham    1970    completing theories
  by forcing}

\bibfitem{MR0491149}
{\guy{L.}{Lenore}{}{Blum}{}}
{1977}{}{0}
{}{}
\guysmagic{{\scshape Lenore Blum}}  {\em Differentially closed fields: a
  model-theoretic tour}, {\bfseries\itshape Contributions to algebra
  (collection of papers dedicated to {E}llis {K}olchin)}, Academic Press, New
  York\yearmagic{,}{1977}, pp.\weaktie 37--61.
\TheSortKeyIs{blum  lenore    1977    differentially closed fields a model
  theoretic tour}

\bibfitem{MR0103812}
{\guy{C.~C.}{Chen~Chung}{}{Chang}{}}
{1959}{}{0}
{}{}
\guysmagic{{\scshape Chen~Chung Chang}}  {\em On unions of chains of models},
  {\bfseries\itshape Proc. Amer. Math. Soc.}, vol.\weaktie
  10\yearmagic{}{(1959)}, pp.\weaktie 120--127.
\TheSortKeyIs{chang  chen chung    1959    on unions of chains of models}

\bibfitem{MR2000f:03109}
{\guy{Z.}{Zo{\'e}}{}{Chatzidakis}{} and \guy{E.}{Ehud}{}{Hrushovski}{}}
{1999}{}{0}
{}{}
\guysmagic{{\scshape Zo{\'e} Chatzidakis \biband{} Ehud Hrushovski}}  {\em
  Model theory of difference fields}, {\bfseries\itshape Trans. Amer. Math.
  Soc.}, vol.\weaktie 351\yearmagic{}{(1999)}, no.\weaktie 8, pp.\weaktie
  2997--3071.
\TheSortKeyIs{chatzidakis  zoe   hrushovski  ehud    1999    model theory of
  difference fields}

\bibfitem{MR0277372}
{\guy{P.}{Paul}{}{Eklof}{} and \guy{G.}{Gabriel}{}{Sabbagh}{}}
{1970/1971}{}{0}
{}{}
\guysmagic{{\scshape Paul Eklof \biband{} Gabriel Sabbagh}}  {\em
  Model-completions and modules}, {\bfseries\itshape Ann. Math. Logic},
  vol.\weaktie 2\yearmagic{}{(1970/1971)}, no.\weaktie 3, pp.\weaktie 251--295.
\TheSortKeyIs{eklof  paul   sabbagh  gabriel    19701971    model completions
  and modules}

\bibfitem{MR58:27929}
{\guy{E.~R.}{E.~R.}{}{Kolchin}{}}
{1973}{}{0}
{}{}
\guysmagic{{\scshape E.~R. Kolchin}}  {\bfseries\itshape Differential algebra
  and algebraic groups}, Academic Press, New York\yearmagic{,}{1973}, Pure and
  Applied Mathematics, Vol. 54.
\TheSortKeyIs{kolchin  e r    1973    differential algebra and algebraic
  groups}

\bibfitem{MR2119125}
{\guy{P.}{Piotr}{}{Kowalski}{}}
{2005}{}{0}
{}{}
\guysmagic{{\scshape Piotr Kowalski}}  {\em Derivations of the {F}robenius
  map}, {\bfseries\itshape J. Symbolic Logic}, vol.\weaktie
  70\yearmagic{}{(2005)}, no.\weaktie 1, pp.\weaktie 99--110.
\TheSortKeyIs{kowalski  piotr    2005    derivations of the frobenius map}

\bibfitem{MR0089813}
{\guy{J.}{Jerzy}{}{{\L}o{\'s}}{} and \guy{R.}{Roman}{}{Suszko}{}}
{1957}{}{0}
{}{}
\guysmagic{{\scshape Jerzy {\L}o{\'s} \biband{} Roman Suszko}}  {\em On the
  extending of models ({IV}): {I}nfinite sums of models}, {\bfseries\itshape
  Fund. Math.}, vol.\weaktie 44\yearmagic{}{(1957)}, pp.\weaktie 52--60.
\TheSortKeyIs{los  jerzy   suszko  roman    1957    on the extending of models
  iv infinite sums of models}

\bibfitem{MR99c:03046}
{\guy{A.}{Angus}{}{Macintyre}{}}
{1997}{}{0}
{}{}
\guysmagic{{\scshape Angus Macintyre}}  {\em Generic automorphisms of fields},
  {\bfseries\itshape Ann. Pure Appl. Logic}, vol.\weaktie
  88\yearmagic{}{(1997)}, no.\weaktie 2-3, pp.\weaktie 165--180, Joint AILA-KGS
  Model Theory Meeting (Florence, 1995).
\TheSortKeyIs{macintyre  angus    1997    generic automorphisms of fields}

\bibfitem{MR1924282}
{\guy{D.}{David}{}{Marker}{}}
{2002}{}{0}
{}{}
\guysmagic{{\scshape David Marker}}  {\bfseries\itshape Model theory: an
  introduction}, Graduate Texts in Mathematics, vol. 217, Springer-Verlag, New
  York\yearmagic{,}{2002}.
\TheSortKeyIs{marker  david    2002    model theory an introduction}

\bibfitem{MR2001h:03066}
{\guy{T.}{Tracey}{}{McGrail}{}}
{2000}{}{0}
{}{}
\guysmagic{{\scshape Tracey McGrail}}  {\em The model theory of differential
  fields with finitely many commuting derivations}, {\bfseries\itshape J.
  Symbolic Logic}, vol.\weaktie 65\yearmagic{}{(2000)}, no.\weaktie 2,
  pp.\weaktie 885--913.
\TheSortKeyIs{mcgrail  tracey    2000    model theory of differential fields
  with finitely many commuting derivations}

\bibfitem{MR2000487}
{\guy{D.}{David}{}{Pierce}{}}
{2003}{}{0}
{}{}
\guysmagic{{\scshape David Pierce}}  {\em Differential forms in the model
  theory of differential fields}, {\bfseries\itshape J. Symbolic Logic},
  vol.\weaktie 68\yearmagic{}{(2003)}, no.\weaktie 3, pp.\weaktie 923--945.
\TheSortKeyIs{pierce  david    2003    differential forms in the model theory
  of differential fields}

\bibritem{MR2114160}
{\guy{D.}{David}{}{Pierce}{}}
{2004}{}{0}
{}{}
\guysmagic{\bysame}  {\em Geometric characterizations of existentially closed
  fields with operators}, {\bfseries\itshape Illinois J. Math.}, vol.\weaktie
  48\yearmagic{}{(2004)}, no.\weaktie 4, pp.\weaktie 1321--1343.
\TheSortKeyIs{pierce  david    2004    geometric characterizations of
  existentially closed fields with operators}

\bibfitem{MR99g:12006}
{\guy{D.}{David}{}{Pierce}{} and \guy{A.}{Anand}{}{Pillay}{}}
{1998}{}{0}
{}{}
\guysmagic{{\scshape David Pierce \biband{} Anand Pillay}}  {\em A note on the
  axioms for differentially closed fields of characteristic zero},
  {\bfseries\itshape J. Algebra}, vol.\weaktie 204\yearmagic{}{(1998)},
  no.\weaktie 1, pp.\weaktie 108--115.
\TheSortKeyIs{pierce  david   pillay  anand    1998    note on the axioms for
  differentially closed fields of characteristic zero}

\bibfitem{MR0201431}
{\guy{J.~F.}{Joseph~Fels}{}{Ritt}{}}
{1966}{}{0}
{}{}
\guysmagic{{\scshape Joseph~Fels Ritt}}  {\bfseries\itshape Differential
  algebra}, Dover Publications Inc., New York\yearmagic{,}{1966}, originally
  published in 1950.
\TheSortKeyIs{ritt  joseph fels    1966    differential algebra}

\bibfitem{MR0091922}
{\guy{A.}{A.}{}{Robinson}{}}
{1957}{}{0}
{}{}
\guysmagic{{\scshape A.~Robinson}}  {\em Some problems of definability in the
  lower predicate calculus}, {\bfseries\itshape Fund. Math.}, vol.\weaktie
  44\yearmagic{}{(1957)}, pp.\weaktie 309--329.
\TheSortKeyIs{robinson  a    1957    some problems of definability in the lower
  predicate calculus}

\bibfitem{MR0153570}
{\guy{A.}{Abraham}{}{Robinson}{}}
{1963}{}{0}
{}{}
\guysmagic{{\scshape Abraham Robinson}}  {\bfseries\itshape Introduction to
  model theory and to the metamathematics of algebra}, North-Holland Publishing
  Co., Amsterdam\yearmagic{,}{1963}.
\TheSortKeyIs{robinson  abraham    1963    introduction to model theory and to
  the metamathematics of algebra}

\bibritem{MR0472504}
{\guy{A.}{Abraham}{}{Robinson}{}}
{1977}{}{0}
{}{}
\guysmagic{\bysame}  {\bfseries\itshape Complete theories}, second ed.,
  North-Holland Publishing Co., Amsterdam\yearmagic{,}{1977}, With a preface by
  H. J. Keisler, Studies in Logic and the Foundations of Mathematics, first
  published 1956.
\TheSortKeyIs{robinson  abraham    1977    complete theories}

\bibfitem{MR0107642}
{\guy{A.}{Azriel}{}{Rosenfeld}{}}
{1959}{}{0}
{}{}
\guysmagic{{\scshape Azriel Rosenfeld}}  {\em Specializations in differential
  algebra}, {\bfseries\itshape Trans. Amer. Math. Soc.}, vol.\weaktie
  90\yearmagic{}{(1959)}, pp.\weaktie 394--407.
\TheSortKeyIs{rosenfeld  azriel    1959    specializations in differential
  algebra}

\bibfitem{MR0398817}
{\guy{G.~E.}{Gerald~E.}{}{Sacks}{}}
{1972}{}{0}
{}{}
\guysmagic{{\scshape Gerald~E. Sacks}}  {\bfseries\itshape Saturated model
  theory}, W. A. Benjamin, Inc., Reading, Mass.\yearmagic{,}{1972}, Mathematics
  Lecture Note Series.
\TheSortKeyIs{sacks  gerald e    1972    saturated model theory}

\bibfitem{MR0049174}
{\guy{A.}{A.}{}{Seidenberg}{}}
{1952}{}{0}
{}{}
\guysmagic{{\scshape A.~Seidenberg}}  {\em Some basic theorems in differential
  algebra (characteristic {$p$}, arbitrary)}, {\bfseries\itshape Trans. Amer.
  Math. Soc.}, vol.\weaktie 73\yearmagic{}{(1952)}, pp.\weaktie 174--190.
\TheSortKeyIs{seidenberg  a    1952    some basic theorems in differential
  algebra characteristic p arbitrary}

\bibritem{MR0082487}
{\guy{A.}{A.}{}{Seidenberg}{}}
{1956}{}{0}
{}{}
\guysmagic{\bysame}  {\em An elimination theory for differential algebra},
  {\bfseries\itshape Univ. California Publ. Math. (N.S.)}, vol.\weaktie
  3\yearmagic{}{(1956)}, pp.\weaktie 31--65.
\TheSortKeyIs{seidenberg  a    1956    elimination theory for differential
  algebra}

\bibfitem{MR0344116}
{\guy{S.}{Saharon}{}{Shelah}{}}
{1973}{}{0}
{}{}
\guysmagic{{\scshape Saharon Shelah}}  {\em Differentially closed fields},
  {\bfseries\itshape Israel J. Math.}, vol.\weaktie 16\yearmagic{}{(1973)},
  pp.\weaktie 314--328.
\TheSortKeyIs{shelah  saharon    1973    differentially closed fields}

\bibfitem{MR51:12518}
{\guy{H.}{H.}{}{Simmons}{}}
{1972}{}{0}
{}{}
\guysmagic{{\scshape H.~Simmons}}  {\em Existentially closed structures},
  {\bfseries\itshape J. Symbolic Logic}, vol.\weaktie 37\yearmagic{}{(1972)},
  pp.\weaktie 293--310.
\TheSortKeyIs{simmons  h    1972    existentially closed structures}

\bibfitem{MR495120}
{\guy{M.~F.}{Michael~F.}{}{Singer}{}}
{1978}{}{0}
{}{}
\guysmagic{{\scshape Michael~F. Singer}}  {\em The model theory of ordered
  differential fields}, {\bfseries\itshape J. Symbolic Logic}, vol.\weaktie
  43\yearmagic{}{(1978)}, no.\weaktie 1, pp.\weaktie 82--91.
\TheSortKeyIs{singer  michael f    1978    model theory of ordered differential
  fields}

\bibritem{MR2286106}
{\guy{M.~F.}{Michael~F.}{}{Singer}{}}
{2007}{}{0}
{}{}
\guysmagic{\bysame}  {\em Model theory of partial differential fields: from
  commuting to noncommuting derivations}, {\bfseries\itshape Proc. Amer. Math.
  Soc.}, vol.\weaktie 135\yearmagic{}{(2007)}, no.\weaktie 6, pp.\weaktie
  1929--1934 (electronic).
\TheSortKeyIs{singer  michael f    2007    model theory of partial differential
  fields from commuting to noncommuting derivations}

\bibfitem{MR2159694}
{\guy{M.}{Marcus}{}{Tressl}{}}
{2005}{}{0}
{}{}
\guysmagic{{\scshape Marcus Tressl}}  {\em The uniform companion for large
  differential fields of characteristic 0}, {\bfseries\itshape Trans. Amer.
  Math. Soc.}, vol.\weaktie 357\yearmagic{}{(2005)}, no.\weaktie 10,
  pp.\weaktie 3933--3951 (electronic).
\TheSortKeyIs{tressl  marcus    2005    uniform companion for large
  differential fields of characteristic 0}

\bibfitem{MR48:8227}
{\guy{C.}{Carol}{}{Wood}{}}
{1973}{}{0}
{}{}
\guysmagic{{\scshape Carol Wood}}  {\em The model theory of differential fields
  of characteristic $p\not=0$}, {\bfseries\itshape Proc. Amer. Math. Soc.},
  vol.\weaktie 40\yearmagic{}{(1973)}, pp.\weaktie 577--584.
\TheSortKeyIs{wood  carol    1973    model theory of differential fields of
  characteristic pnot0}

\bibritem{MR50:9577}
{\guy{C.}{Carol}{}{Wood}{}}
{1974}{}{0}
{}{}
\guysmagic{\bysame}  {\em Prime model extensions for differential fields of
  characteristic {$p\not=0$}}, {\bfseries\itshape J. Symbolic Logic},
  vol.\weaktie 39\yearmagic{}{(1974)}, pp.\weaktie 469--477.
\TheSortKeyIs{wood  carol    1974    prime model extensions for differential
  fields of characteristic pnot0}

\bibfitem{MR1807840}
{\guy{Y.}{Yoav}{}{Yaffe}{}}
{2001}{}{0}
{}{}
\guysmagic{{\scshape Yoav Yaffe}}  {\em Model completion of {L}ie differential
  fields}, {\bfseries\itshape Ann. Pure Appl. Logic}, vol.\weaktie
  107\yearmagic{}{(2001)}, no.\weaktie 1-3, pp.\weaktie 49--86.
\TheSortKeyIs{yaffe  yoav    2001    model completion of lie differential
  fields}

\end{thebibliography}


\end{document}