Vorlesung "Mathematische Logik II" im Sommersemester 2007

Dozent: PD Dr. Marcus Tressl

Zeit und Ort: Mittwoch 16 - 18 Uhr, M103.

Prüfungsmentorat und Fragestunde: Freitag 13-14 M101 u. n. Vereinbarung.

Manuskript zur Vorlesung: logik2.pdf.

Vorkenntnisse und Inhalt der Vorlesung: Die Vorlesung setzt die im Wintersemester gehaltene Vorlesung "Mathematische Logik" fort. Darüberhinaus werden Grundkenntnisse in Algebra und Topologie vorausgesetzt.

Literatur in alphabetischer Reihenfolge:

  1. Chang, C. C., Keisler, H. J.; Model theory. Third edition. Studies in Logic and the Foundations of Mathematics, 73. North-Holland Publishing Co., Amsterdam, 1990. xvi+650 pp. ISBN: 0-444-88054-2
  2. Cori, René, Lascar, Daniel; Mathematical logic. A course with exercises. Part I. Propositional calculus, Boolean algebras, predicate calculus. Translated from the 1993 French original by Donald H. Pelletier. With a foreword to the original French edition by Jean-Louis Krivine and a foreword to the English edition by Wilfrid Hodges. Oxford University Press, Oxford, 2000. xx+338 pp. ISBN: 0-19-850049-1; 0-19-850048-3
  3. Cori, René, Lascar, Daniel; Mathematical logic. A course with exercises. Part II. Recursion theory, Gödel's theorems, set theory, model theory. Translated from the 1993 French original by Donald H. Pelletier. With a foreword to the original French edition by Jean-Louis Krivine and a foreword to the English edition by Wilfrid Hodges. Oxford University Press, Oxford, 2001. xx+331 pp. ISBN: 0-19-850050-5
  4. Hodges, Wilfrid; Model Theory. Encyclopedia of Mathematics and its Applications, 42. Cambridge University Press, Cambridge, 1993. xiv+772 pp. ISBN: 0-521-30442-3.
  5. Marker, David; Model Theory. An introduction Graduate Texts in Mathematics, 217. Springer-Verlag, New York, 2002. viii+342 pp. ISBN: 0-387-98760-6
  6. Poizat, Bruno; A course in model theory An introduction to contemporary mathematical logic. Translated from the French by Moses Klein and revised by the author. Universitext. Springer-Verlag, New York, 2000. xxxii+443 pp. ISBN: 0-387-98655-3
  7. Prestel, Alexander; Einführung in die Mathematische Logik und Modelltheorie. (German) [Introduction to mathematical logic and model theory] Vieweg Studium: Aufbaukurs Mathematik [Vieweg Studies: Mathematics Course], 60. Friedr. Vieweg & Sohn, Braunschweig, 1986. xiv+286 pp. ISBN: 3-528-07260-1
  8. Rothmaler, Philipp; Einführung in die Modelltheorie. Spektrum Lehrbuch. [Spectrum Textbook] Spektrum Akademischer Verlag GmbH, Heidelberg, 1995. 331 pp. ISBN: 3-86025-461-8
  9. Shoenfield, Joseph R; Mathematical logic. Reprint of the 1973 second printing. Association for Symbolic Logic, Urbana, IL; A K Peters, Ltd., Natick, MA, 2001. viii+344 pp. ISBN: 1-56881-135-7