Mathematics 114L, Mathematical Logic, Spring 2017, Log of lectures

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 Section 1.
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 Theorem.
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 Theorem.
L20, 5/17, W. Will finish the proof of the Soundness Theorem and start on the Completeness Theorem; read ahead if you possibly can.
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 midterm.
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.