|
Martina Pfeifer

Timo Krisam: Generische Prädikate und bdn(T_P)

Thursday, 18.10.2018 11:00 im Raum SR 1D

Mathematik und Informatik

Wir betrachten eine vollständige Theorie T, die Quantorenelimination hat. Chatzidakis und Pillay haben gezeigt, dass diese unter bestimmten Annahmen einen Modellbegleiter T_P besitzt, welcher einige Eigenschaften von T, unter anderem einfach zu sein, erhält. Wir werden sehen, dass auch die Bürde von T erhalten bleibt, also bdn(T) = bdn(T_P) gilt. Als direktes Korollar ergibt sich, dass falls T NTP2 ist, so auch T_P.



Angelegt am Thursday, 11.10.2018 15:53 von Martina Pfeifer
Geändert am Thursday, 11.10.2018 15:53 von Martina Pfeifer
[Edit | Vorlage]

Oberseminare und sonstige Vorträge
Sonstige Vorträge