Tuesday 17 May 2022 |

Events for day: Wednesday 18 May 2022 |

16:30 - 18:30 Mathematical Logic Weekly SeminarBounding Nonminimality School MATHEMATICS 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: ... |