L27, 6/5, M. Will finish Section 1, start Section 2 and aim to prove Tarski's Theorem 2.4.
L26, 6/2, F. Continued with but did not quite finish
L25, 5/31, W. Start on the theorems of Tarski and
Gödel in Part 3 of the Notes, aim to explain some of the
basic ideas and get through a good part of Section 1.
L24, 5/26, F. Covered Sections 7D and 7E, finishing Part 2
of the Notes.
L23, 5/24, W. Will finish the proof of the Completeness
L22, 5/22. M. Continued with the proof of the Completeness
Theorem (and also discussed the midterm).
L21, 5/19, F. Continued with the proof of the Completeness
L20, 5/17, W. Will finish the proof of the Soundness
Theorem and start on the Completeness Theorem; read ahead if you
L19, 5/15, M. Will outline the proof of the Soundness
Theorem in Section 7B. The material is a little complex, and it
will help greatly to understand the lecture if you read 7B ahead
of time, at least lightly.
L18, 5/12, F. Finished the part of Section 6 that we will
cover now and started with the proof theory in Section 7.
L17, 5/10, W, Will finish (again!) Section 5 and will then
cover most of Section 6.
L16, 5/8, M. Will finish Section 5.
L15, 5/5, F. Will continue with Section 5.
L14, 5/3, W. Will go over some remarks over the results in
Section 4B and then start on Section 5.
L13, 5/1, M. Will finish Section 4 (on tuple-coding and
arithmetical relations), skipping some of the proofs of the facts
from number theory that are required.
L12, 4/28, F. Will go through much of Section 4A, perhaps
skipping the proofs of some of the results we need from number
theory, but including a proof of Dedekind's characterization of
N, Problem x2.19.
L11, 4/26, W. Will review the definitions of extended
terms in 3H and elementary relations and functions in 3J and
start on the theory of arithmetical relations in Section 4.
L10, 4/24, M. (Really) finished Section 3 and discussed
briefly the midterm.
L9, 4/21, F. Will finish Section 3 and discuss briefly the
L8, 4/19, W. Will finish Section 2 and start on Section 3,
aiming to reach 3G.
L7, 4/17, M. Will cover Section 2 of Part 2.
L6, 4/14, F. Will finish the proof of the Completeness
Theorem 3E for PL and start on Part 2 of the Notes (on LPCI),
aiming to get at least to the end of Section 1.
L5, 4/12, W. Will discuss Theorem 3D.4, assume it and go
ahead to prove the Completeness Theorem 3E and finish this
Section. (Did not quite get there.)
L4, 4/10, M. Will continue in Section 3 aiming to get up
to Lemma 3D.7 which is the key result needed to prove the Completeness
Theorem for PL. (It will help to look before the lecture at the
examples of formal proofs in Lemmas 3D.1 - 3D.3 to get a feeling
of how these are constructed.)
L3, 4/7, F. Will start with 2C.1 and aim to finish
Section 2 and start on Section 3.
L2, 4/5, W. Will finish Section 1 of PL and start with
Section 2, aiming to get to (or near) the end of it. [I skipped
explaining the proof of the Functional Completeness
Theorem 2A.2 summarized in the Notes and got through the
formulation of the Tarski Conditions in 2C,.1.]
L1, 4/3, M. After a few, general remarks about the class,
I started with Section 1 of PL and got through 1B.