Artem Chernikov: Simple types

Freitag, 23.09.2011 11:00 im Raum SR 7
Mathematik und Informatik

We generalize parts of the simplicity machinery to simple types in NTP2 (and sometimes arbitrary) theories. In particular, we establish full symmetry of forking between the realizations of a simple type and arbitrary elements, and the independence theorem for non-forking extensions of a simple type. As usual we have tea in Prof. Dr. Dr. Katrin Tents room (810) starting at 10:30!

Angelegt am Dienstag, 20.09.2011 15:34 von pfeifer
Geändert am Dienstag, 20.09.2011 15:53 von pfeifer
[Edit | Vorlage]

Kolloquuium des Instituts für mathematische Logik
Oberseminare und sonstige Vorträge