|Tuesday 17 May 2022|
|Events for day: Wednesday 18 May 2022|
| 16:30 - 18:30 Mathematical Logic Weekly Seminar|
James Freitag and I recently introduced what we call the �degree of nonminimality�. It measures, in some sense that I will make precise, how many parameters are needed to witness that a given finite rank type is not of rank 1. I will explain how the truth of the Borovik-Cherlin conjecture for algebraic homogeneous spaces, applied to binding group actions in certain totally transcendental theories of interest (namely DCF and CCM), leads to a useful bound on the degree of nonminimality. This is motivated by the search for new methods to verify the strong minimality of an algebraic differential equation.
Zoom info: ...