Vorlesung Logik II: Modelltheorie (WS 2019/20)
Vorlesungskript
Deutsches Skript;
English version;
Source.
Übungsblätter:
Klausur
Klausur; Source.
Beschreibung
Das Ziel der Vorlesung war eine Einführung in die Modelltheorie basierend auf dem Buch
A Course in Model Theory
von K. Tent und M. Ziegler.
Literatur
- K. Tent und M. Ziegler: A Course in Model Theory, Cambridge University Press (2012).
- D. Marker: Model Theory: An Introduction, Springer (2002).
- B. Poizat: A Course in Model Theory, Springer (2000).
- W. Hodges: A Shorter Model Theory, Cambridge University Press (1997).
- W. Hodges: Model Theory, Cambridge University Press (1993).
- C. Chang und H. Keisler: Model Theory, North-Holland Publishing Co. (1990).