Logic II (WiSe 2018/2019)

JProf. Dr. Franziska Jahnke and Blaise Boissonneau.

Based on the class Logic I, we present fundamental results of model theory.

Literature:

• 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).

Exercise sheets (in German):

• Sheet 0 (done in class)
• Sheet 1
• Sheet 2
• Sheet 3
• Sheet 4
• Sheet 5
• Sheet 6
• Sheet 7
• Sheet 8

Helpful links