Rahim Moosa - Disintegration of quantifier-free types in ACFA_0

jeudi 19 mars 2026, 15:00 → 16:00 Europe/Paris

112 (ICJ)

In 2022, Jim Freitag, Remi Jaoui and I showed that in DCF_0 if any pair of distinct realisations of a complete type p over constant parameters are independent then p is minimal and totally disintegrated in the sense that any set of realisations is independent. I will report on recent work with Moshe Kamensky which proves an analogue for rational quantifier-free types in ACFA_0; although one has to replace “pair of distinct realisations” by “triple of realisations such that no two are transforms of each other”. I will try to explain what goes into the proof.