|
Martina Pfeifer

Artem Chernikov: Simple types

Friday, 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 Tuesday, 20.09.2011 15:34 von Martina Pfeifer
Geändert am Tuesday, 20.09.2011 15:53 von Martina Pfeifer
[Edit | Vorlage]

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