Fall 2016

Dr Assaf Hasson

Time and Place

יום ב 16:00 - 14:00 בבנין 90 (מקיף ז') [90] חדר 136
יום ג 12:00 - 10:00 בגוטמן [32] חדר 114

Course Content

  • 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.

Course Catalogue: 201.1.6061