News
Currently, no news are availableIntroduction to Mathematical Logic
Apl. Prof. Dr. Frederik Herzberg
Synopsis
This course provides an introduction to mathematical logic, with a focus on basic model theory. Topics include:
- Lattices and Boolean algebras
- Hilbert-style calculi
- Completeness of the propositional calculus
- Completeness of the predicate calculus
- Ultraproducts and applications
Lecture
Friday, 10-12am, building E2 4, Seminar room 10
Tutorial
There will be a weekly one-hour tutorial. Time and venue to be announced.
References
- Bell & Machover, A course in mathematical logic. North Holland / Elsevier
- Bell & Slomson, Models and ultraproducts. North Holland / Reprint: Dover
- Rautenberg, A concise introduction to mathematical logic. Springer