Menü

Oberseminar: Mathematische Logik

Anstehende Vorträge

Vorträge

Zeit und Ort

Dienstag, 16.6.26, 14:30–16:00, SR 404

Zusammenfassung

Let be the theory of beautiful pairs of algebraically closed fields of fixed characteristic. It is known that for real tuples in models of , SU-rank coincides with Morley rank and can be computed effectively. Building on Pillay's geometric description (2007) of imaginaries in , we define an additive rank on imaginaries of , called the geometric rank. It takes values in and coincides with SU-rank on real tuples. It refines SU-rank and characterizes forking in , from which we derive an explicit criterion for determining forking independence.

Zeit und Ort

Dienstag, 30.6.26, 14:30–16:00, SR 125