Dr. Moshe Kamensky

Time and Place:

יום ב 18:00–16:00 בקרייטמן-זלוטובסקי(חדש) [34] חדר 103
יום ד 12:00–10:00 בגולדברגר [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