|
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 20.09.2011 von Martina Pfeifer
Geändert am 20.09.2011 von Martina Pfeifer
[Edit | Vorlage]

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