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.

University course catalogue: 201.1.6061