Achtung! Das Lehrangebot ist noch nicht vollständig und wird bis Semesterbeginn laufend ergänzt.
250138 VO Model Theory (2023W)
Labels
VOR-ORT
An/Abmeldung
Hinweis: Ihr Anmeldezeitpunkt innerhalb der Frist hat keine Auswirkungen auf die Platzvergabe (kein "first come, first served").
Details
Sprache: Englisch
Prüfungstermine
- Dienstag 30.01.2024 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
- Montag 04.03.2024 08:00 - 09:30 Seminarraum 10, Kolingasse 14-16, OG01
- Montag 15.04.2024 08:00 - 09:30 Seminarraum 10, Kolingasse 14-16, OG01
- Donnerstag 27.06.2024
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
- Dienstag 03.10. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
- Donnerstag 05.10. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
- Dienstag 10.10. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
- Donnerstag 12.10. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
- Dienstag 17.10. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
- Donnerstag 19.10. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
- Dienstag 24.10. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
- Dienstag 31.10. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
- Dienstag 07.11. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
- Donnerstag 09.11. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
- Dienstag 14.11. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
- Donnerstag 16.11. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
- Dienstag 21.11. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
- Donnerstag 23.11. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
- Dienstag 28.11. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
- Donnerstag 30.11. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
- Dienstag 05.12. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
- Donnerstag 07.12. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
- Dienstag 12.12. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
- Donnerstag 14.12. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
- Dienstag 09.01. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
- Donnerstag 11.01. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
- Dienstag 16.01. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
- Donnerstag 18.01. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
- Dienstag 23.01. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
- Donnerstag 25.01. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
Information
Ziele, Inhalte und Methode der Lehrveranstaltung
Model theory is a branch of mathematical logic which applies the methods of logic to the study of mathematical structures, and thus has impact on other parts of mathematics (e.g., number theory, analytic geometry).Since its beginnings in the early decades of the last century, the perception of what the subject is about has gone through various incarnations. A modern view holds that model theory is the "geography of tame mathematics" (Hrushovski), with the goal of identifying those classes of structures whose first-order theories can be understood (in some well-defined technical sense), and exploiting such an understanding as a tool in other parts of mathematics.This course will serve as a first introduction to this multi-faceted subject. Both the development of general theory and some applications (mainly to algebra) will be presented.
Art der Leistungskontrolle und erlaubte Hilfsmittel
Final exam on Tuesday, January 30, 2024, 1:15-2:45 pm.
Mindestanforderungen und Beurteilungsmaßstab
Prüfungsstoff
Review of structures, theories, ultraproducts, proof of the Compactness Theorem. Quantifier elimination, model completeness. Types, saturation, omitting types. Totally transcendental theories, strong minimality, Morley's Theorem. Other topics as time permits.
Literatur
I will follow my own notes, but some useful references for this class are:C. C. Chang and H. J. Keisler, Model Theory, 3rd ed., Studies in Logic and the Foundations of Mathematics, vol. 73. North-Holland Publishing Co., Amsterdam, 1990.W. Hodges, Model Theory, Encyclopedia of Mathematics and its Applications, vol. 42. Cambridge University Press, Cambridge, 1993.D. Marker, Model Theory. An Introduction, Graduate Texts in Mathematics, vol. 217. Springer-Verlag, New York, 2002.K. Tent, M. Ziegler, A Course in Model Theory, Lecture Notes in Logic, vol. 40, Cambridge University Press, Cambridge, 2012.
Zuordnung im Vorlesungsverzeichnis
MLOV
Letzte Änderung: Di 12.12.2023 12:06