Math 681 Logic

Instructor:_Barbara Csima

Text:_Ebbinghaus, Flum, Thomas, Mathematical Logic, Second Edition.

Presentations: Thurs., Apr 29, Mia Minnes; Tues., May 4, Andy Spray; Thurs., May 6, Mushfeq Khan

Homework:_Homework is due in class on Thursdays.

    Feb 5: II 4.7,
                III 3.3, 3.4, 4.9, 4.11, 4.15, 4.16

    Feb 12: III 5.10, 5.11, 8.8
                  IV 5.5, 7.8

    Feb 19: V 1.12, 1.13, 2.5

    Feb 26: VI 1.3, 3.8, 3.10, 4.9, 4.10
                  On p. 97 the text asks the reader to give a proof, please give the proof.

    Mar 4: VIII 2.5, 2.7, 2.8, 3.3, 3.4

    Mar 11: VIII 4.7, 4.8
                  X 1.2, 1.9, 1.11, 2.11, 2.12

    Mar 18: X 3.5, 4.2, 4.3
                 In the proof on p. 168, two cases are given for the construction of the structure from P. Is this really necessary?

    Apr 1: X  6.6, 6.13

    Apr 8:  X 7.12
                XII 1.9, 1.10, 1.12

    Apr 15: XII 2.5, 2.6, 3.12, 3.13, 3.16,  3.17, 3.18

    Apr 22: XII 4.3
                  The following references are to Set Theory: An Introduction to Indepndence Proofs by Kenneth Kunen.
                  Chapter 1, Exercise (1)
                  Give a complete proof of Chapter 1 Lemma 6.1.

    Tues., May 4: Chapter 1,  Exercises 2, 4, 8, 9, 13