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]