# Math 487

## Fall 2013

A mathematical logic course, building up to G\ouml;del’s incompleteness theorems, out of Ebbinghaus, Flum, and Thomas.

- Syllabus.
- Reading for 8/26: Chapters I and II.
- Handout on Writing by Jack Lee.
- Reading for 9/1: Chapter III.
- Homework for 9/6: II.1.3, 1.4, 1.5, 4.6, and 5.2. Solutions: pdf, tex.
- Reading for 9/8: Chapter IV.
- Tuesday 9/10: Makeup lecture 8:45–9:35 in 205 Physics.
- Friday 9/13: No class.
- Homework for 9/16: III.3.3 and 4.14, IV.3.6(a2). Solutions: pdf, tex.
- Tuesday 9/24: Makeup lecture 8:30–9:45 in 205 Physics.
- Week of 9/30: No class.
- Reading for 10/7: Chapter X, Sections 1-4.
- Homework for 10/7: IV.4.10 and the problem in this Handout on Ordinals. Solutions: pdf, tex.
- Tuesday 10/8: Makeup lecture 8:30–9:45 in 205 Physics.
- Homework for 10/18: pdf, tex.