Math 681 Logic

Instructor:_Barbara Csima (Office hours: Tues 10-11, Wed 11-12 in Malott 587)

TA:  Michael O'Connor (Office hours: Tues 12-1, Wed 3-4 in Malott 218)

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

Homework:_Homework is due in class on Thursdays.

    May 5: 4.5.24, 4.5.27

    Apr 28: 2.5.15 (hint in class), 4.5.1,  4.5.2, 4.5.10, 4.5.13

    Apr 21: XII 3.12, 3.13, 3.16, 3.17, 3.18, 4.3
The following references are to  Model Theory: An IntroductionI by David Marker
                  2.5.9, 2.5.11
                 
   Apr 14: XII 1.9, 1.10, 1.12, 2.5, 2.6

    Apr 7: X 6.13, 7.12

    Mar 31: X 4.2, 4.3, 4.4, 6.6

    Mar 17:  X 2.11, 2.12, 2.13, 3.5

    Mar 10: VIII 3.3, 3.4, 4.7
                   X 1.2, 1.9, 1.11, 1.12

    Mar 3: VI 3.8, 3.10, 4.9, 4.11
                VIII 2.5, 2.7, 2.8

    Feb 24: V 2.5
                  VI 1.3, 2.5
   
    Feb 17: IV 5.5, 7.8
                   V 1.12, 1.13

    Feb 10:  III 4.11, 4.15, 4.16, 5.10, 5.11, 8.8, 8.10

    Feb 3: II 4.7,
                III 1.6, 3.3, 3.4, 4.9, 4.10

  Last year's page.