MATH 501- Metamathematics

John Baldwin, Fall 2001.

Texts will be Ebbinghaus, Flum, and Thomas and Auxiliary sources include Marker's partially written model theory text, Shoenfield, Poizat.

There will be regular homework assignments and probably a final exam. Here is a rather optimistic account of the first few weeks. Week 1: syntax Week 2: semantics Week 3: proof Week 4: completeness