Seminar Modelltheorie (WS 2013/14): Modelltheorie von Körpern mit Operatoren
Dozent: Dr. Juan Diego Caycedo
Assistent: Dr. Mohsen Khani
Zeit und Raum: Mi 10-12, SR 318
Vorbesprechung: 25.07.2013 um 12 Uhr, im SR 318
Wir interessieren uns für die Modelltheorie von Körpern mit Operatoren, unter diesen sind Differenzielle Körper und Differenzkörper die Hauptbeispiele.
Literatur
- R. Moosa, T. Scanlon, Model theory of fields with free operators in characteristic zero (.pdf)
Vorträge
- 23.10. Organisatorisches Treffen
- 30.10. D-rings
- 6.11. Extension lemmas
- 13.11. Existentially closed D-rings (Theorem 4.6) I
- 20.11. Existentially closed D-rings (Theorem 4.6) II
- 27.11. Completions of D-CF_0
- 4.12. Quantifier reduction
- 11.12. Independence and simplicity I
- 18.12. Independence and simplicity II
- 8.1. Elimination of imaginaries I
- 15.1. Elimination of imaginaries II
In weiteren Terminen, nach Pillay-Ziegler:
- Internality and the CBP
- Jet spaces
- CBP for DCF, Zilber's dichothomy