Math 681 — Mathematical Logic

Spring 2003

Instructor: Anil Nerode

Time: TR 1:25-2:40

Room: MT 230

Will cover propositional and predicate logics. compactness and completeness. the algebra of logic and the structure of Boolean algebras, the elements of: axiomatic set theory through constructible sets: model theory through saturation: recursion theory through the recursion theorem and priority arguments, and Godel incompleteness.