2019–20–A
Prof. Assaf Hasson
Time and Place:
יום ב 14:00 - 12:00 in בנין 90 (מקיף ז’) [90] חדר 236
יום ד 12:00 - 10:00 in גולדברגר [28] חדר 304
Course topics
- An axiom system for predicate calculus and the completeness theorem.
- Introduction to model theory: The compactness Theorem, Skolem–Löwenheim Theorems, elementary substructures.
- Decidability and undecidability of theories, Gödel first Incompleteness Theorem.