2017–18–A

Dr. Moshe Kamensky

Time and Place:

יום ב 12:00 – 10:00 בגוטמן [32] חדר 309 יום ד 12:00 – 10:00 בגולדברגר [28] חדר 103

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