SUBJECT
Title
Mathematical logic
Type of instruction
lecture
Level
master
Faculty
Part of degree program
Credits
2
Recommended in
Semesters 1-4
Typically offered in
Autumn/Spring semester
Course description
Predicate calculus and first order languages. Truth and satisfiability. Completeness. Prenex norm form. Modal logic, Kripke type models. Model theory: elementary equivalence, elementary submodels. Tarski-Vaught criterion, Löwenheim-Skolem theorem. Ultraproducts.
Gödel’s compactness theorem. Preservation theorems. Beth’s interpolation theorem. Types omitting theorem. Partial recursive and recursive functions. Gödel coding. Church thesis. Theorems of Church and Gödel. Formula expressing the consistency of a formula set. Gödel’s second incompleteness theorem. Axiom systems, completeness, categoricity, axioms of set theory. Undecidable theories.
Readings
none