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

GRADES: Course grades will be based on homework and class participation

UF Policies:

Information on current UF grading policies for assigning grade points can be found here.

Requirements for class attendance, make-up exams, assignments and other work in this course are consistent with university policies that can be found here.

University Policy on Accommodating Students with Disabilities: Students requesting accommodation for disabilities must first register with the Disability Resource Center. Once registered, students will receive an accomodation letter which must be presented to the instructor when requesting accommodation. Students with disabilities should follow this procedure as early as possible in the semester.

University Policy on Academic Misconduct: Academic honesty and integrity are fundamental values of the University community. Students should be sure that they understand the Honor Code.