The degree of nonminimality is at most two (Special lecture)

This is the third lecture from the Mini-Course Model theory of algebraic vector fields by Rahim Moosa. The first lecture is given as a Colloquium talk, and the details for the second one are here.

Abstract

In this final lecture I will sketch the proof that the degree of nonminimality of a finite rank type in DCF is at most two, and deduce as a consequence one of the theorems stated in Lecture 1.