MHF4302/MHF5306 --- Mathematical Logic --- Spring 2019

• Location: 201 LOV
• Time: MWF 10:10-11:00
• Instructor: Mark van Hoeij, e-mail: hoeij@math.fsu.edu, 212 LOV.
• Office hours: for now: TR 9-11, e-mail me if this does not work for you, then I will change this.
• Text: The text book we'll use for now is Mendelson Introduction to Mathematical Logic but later I'll use other sources too.
• Course description and objectives: Topics: first-order languages, ultra-powers and non-standard analysis, Godels incompleteness theorem, axiomatic set theory.
• Prerequisites: Familiarity with modern abstract mathematics will be assumed. For example, a solid performance in the course MGF3301 (`Introduction to Advanced Mathematics') is adequate preparation for this course.

The university indicates that all syllabi must include the following statements:

• University Attendance Policy: Excused absences include documented illness, deaths in the family and other documented crises, call to active military duty or jury duty, religious holy days, and official University activities. These absences will be accommodated in a way that does not arbitrarily penalize students who have a valid excuse. Consideration will also be given to students whose dependent children experience serious illness.
• Academic Honor Policy: The Florida State University Academic Honor Policy outlines the University's expectations for the integrity of students' academic work, the procedures for resolving alleged violations of those expectations, and the rights and responsibilities of students and faculty members throughout the process. Students are responsible for reading the Academic Honor Policy and for living up to their pledge to ``...be honest and truthful and... [to] strive for personal and institutional integrity at Florida State University.'' (Florida State University Academic Honor Policy, found at http://dof.fsu.edu/honorpolicy.htm.)
• Americans With Disabilities Act: Students with disabilities needing academic accommodation should: (1) register with and provide documentation to the Student Disability Resource Center; and (2) bring a letter to the instructor indicating the need for accommodation and what type. This should be done during the first week of class.

  This syllabus and other class materials are available in alternative format upon request.

  For more information about services available to FSU students with disabilities, contact the:

  Student Disability Resource Center
  874 Traditions Way
  108 Student Services Building
  Florida State University
  Tallahassee, FL 32306-4167
  (850) 644-9566 (voice)
  (850) 644-8504 (TDD)
  sdrc@admin.fsu.edu
  http://www.disabilitycenter.fsu.edu/

• Syllabus Change Policy Except for changes that substantially affect implementation of the evaluation (grading) statement, this syllabus is a guide for the course and is subject to change with advance notice.