News
Course postponedWritten on 10.04.24 (last change on 10.04.24) by Frederik Herzberg Unfortunately, the lecture course Introduction to Mathematical Logic cannot take place this semester. Possibly it will be offered again in the summer semester 2025. Students interested in the philosophical aspects of this subject may consider the (German-language) Seminar Philosophie der Mathematik. |
Introduction to Mathematical Logic
Prof. Dr. Frederik Herzberg
Synopsis
This course provides an introduction to mathematical logic, with a focus on basic model theory. Topics include:
- Set theory (axioms, ordinals, cardinals)
- Hilbert-style calculi (for sentential and predicate logic)
- Completeness and compactness for propositional logic
- Completeness and compactness for predicate logic
- Löwenheim-Skolem theorems
- Ultraproducts and applications
Prerequisites
Intended audience: Mathematics students and computer science students with a strong background in mathematics, typically from the 6th semester onwards.
Lectures
Friday, 10-12am, seminar room 10 (building E2 4)
Tutorials
Friday, 12-1pm, seminar room 6 (building E2 4), from 26 April
References
- Bell & Machover, A course in mathematical logic. North Holland / Elsevier
- Bell & Slomson, Models and ultraproducts. North Holland / Reprint: Dover
- Chang & Keisler, Model theory. North Holland / Elsevier *
- Rautenberg, A concise introduction to mathematical logic. Springer