Lecturer: Liat Kessler

Lecture 1, September 4 2008.

Propositional Calculus: Exposition, Syntax

Lecture 2, September 9 2008.

Propositional Calculus: Semantics, enumeration of formulas, logical consequence: UPDATED VERSION

Lecture 3, September 11 2008.

Propositional Calculus: Sentential connectives, normal forms

Lecture 4, September 16 2008.

Propositional Calculus: Deduction Lemma and Modus Ponens in Semantics, applications, axioms, Sequent Calculus: formal provability

Lecture 5, September 18 2008.

Propositional Calculus: Deduction Lemma for formal proofs, Completeness Theorem: one direction

Lectures 6, 7 (and a little from 8), September 23, 25 2008.

The Completeness Theorem, the Compactness Theorem, and the Model Existence Theorem: statements and proofs

Lectures 8, 9, 10, September 30, October 2, 7 2008.

Predicate calculus: Syntax and Semantics

Lecture 11, October 14 2008.

Predicate calculus: Semantics; Homomorphism and Isomorphism

Lecture 12-14, October 16, 21, 23 2008.

Predicate calculus: Formal Provability, and embedding of propositional calculus

Lecture 15-16, October 28, 30 2008.

Predicate calculus: The Completeness Theorem, proof of the Model Existence Theorem in a special case

Lecture 17, November 6 2008.

Predicate calculus: Proof of the general case of the Model Existence Theorem

Lecture 18, November 13 2008.

Non-standard models of Th(N); Godel enumeration; Tarski's Theorem