MHF 6306, Section 02G6
MWF 8th (3:00-3:50), Little 233
Instructor: Douglas Cenzer
Office: 361 Little Hall, 294-2313
Email: cenzer@ufl.edu
Internet: www.people.clas/cenzer
Office Hours: M 7th, W 3d, F 4th, and by appointment.
This course is the first of a two-part introduction to mathematical logic at the graduate level.
The main topics are model theory, computability, and set theory. The course will begin with a review of
basic logic, including the language of predicate logic, mathematical structures, and deductions, including Godel’s Completeness Theorem. Fall semester will include an introduction to computability, leading to Godel’s Incompleteness Theorem, and an introduction to model theory.
REFERENCES
Fundamentals of Mathematical Logic, Peter Hinman
Model Theory, an Introduction, by David Marker
Computability Theory, by Barry Cooper
Foundations of Mathematics Notes, by Cenzer, Larson, Porter, Zapletal
IMPORTANT: The first class meeting will be Friday, August 25.
Please read Chapter 3 of the Foundations Notes.