MHF4302/MHF5306 --- Mathematical Logic --- Spring 2019
- Location: 201 LOV
- Time: MWF 10:10-11:00
- Instructor: Mark van Hoeij,
- Office hours: for now: TR 9-11, e-mail me if this does not work for you, then I will change this.
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
The university indicates that all syllabi must include the
- 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)
- 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.