Amador Martin-Pizarro:
Nicht-äquationale Theorien
Time and place
Wednesday, 6.2.19, 16:30-17:30, Raum 404, Ernst-Zermelo-Str. 1
Abstract
Eine Theorie ist äquational, falls jede Formel\nboolsche Kombination von Gleichungen ist. Eine Formel ist eine Gleichung, falls die Familie endlicher Durschnitte ihrer Instanzen die Absteigenden-Ketten-Bedingung erfüllt. Jede äquationale Theorie ist stabil, aber Sela und Müller-Sklinos zeigten, dass die nicht-abelsche freie Gruppe nicht äquational ist. Jedoch gibt es bisher wenige\nBeispiele stabiler Theorien, welche nicht äquational sind.\n\nIn einer Zusammenarbeit mit Martin Ziegler produzieren wir sämtliche neuen nicht-äquationalen stabilen Theorien, welche auf den von Hrushovski und Sour konstruierten gefärbten Pseudoraum basiert sind.\n