\begin{center}
\LARGE
A Generalization of Rosenfeld's Lemma
\end{center}

\begin{center}
\Large
Sally D. Morrison
\end{center}

\noindent
Date:  July 17th (Wednesday)\\
Time:  09:50-10:20\\

\begin{center}
\large
Abstract
\end{center}

In this paper we explore connections between Mansfield's work on differential Gr\"obner bases and
Boulier's work on differential radical ideals. In particular, we obtain a generalization of the result
in differential algebra known as Rosenfeld's Lemma. This generalization replaces Rosenfeld's
`auto-reduced' hypothesis (very effectively used by Boulier in his computation of radical
differential ideals) with Mansfield's weaker `almost complete' hypothesis, and thus permits some
of Boulier's techniques to be adapted to the more general case. 

