Mathematical Logic 2 Spring 2018

Course: Mathematical logic 2, MAT 4930/5207, sections 2312 and 128D

Meeting time and place: LIT 0207, MWF 8th period

Instructor: Jindrich Zapletal

Office: 456 Little Hall, office hours MWF 10th and 11th period

Contact: zapletal@math.ufl.edu, 352-294-2343

Textbook: There are several textbooks that students can use for this course: Thomas Jech: Set theory, Kunen: Set Theory. For the computability part, the Cooper textbook will work. Other options include Shoenfield: Mathematical Logic. The note on finite injury arguments is here.

Brief description: The course is designed to prepare the students for the logic Ph. D. exam. We will cover basic set theory, the construction of Goedel’s constructible universe and forcing. In the computability part, we will introduce the Turing degrees and prove the solution to Post’s problem and Muchnik’s theorem.

Grading system:  There will be four take-home exams covering the corresponding topics. The first will cover basic set theory with preliminary due date of Feb. 7. The second covers the constructible universe, due Mar. 14. The third covers forcing, due April 11. The last one covers computability, due date May 2=Wednesday of the final week. The total grade will be determined using a straight scale (i.e. A=94-100, A-=90–93 etc. )

Exams: The first exam is here. The second exam is here. The third exam is here, note the change in due date. The fourth exam is here.

Further administrative matters: Requirements for class attendance and make-up exams, assignments, and other work in this course are consistent with university policies that can be found in the online catalog at: https://catalog.ufl.edu/ugrad/current/regulations/info/attendance.aspx.

 

Students are expected to provide feedback on the quality of instruction in this course based on 10 criteria. These evaluations are conducted online at https://evaluations.ufl.edu. Evaluations are typically open during the last two or three weeks of the semester, but students will be given specific times when they are open. Summary results of these assessments are available to students at https://evaluations.ufl.edu/results/.

 

Students requesting classroom accommodation must first register with the Dean of Students Office. The Dean of Students Office will provide documentation to the student who must then provide this documentation to the Instructor when requesting accommodation.

 

UF students are bound by The Honor Pledge which states, “We, the members of the University of Florida community, pledge to hold ourselves and our peers to the highest standards of honor and integrity by abiding by the Honor Code.” On all work submitted for credit by students at the University of Florida, the following pledge is either required or implied: “On my honor, I have neither given nor received unauthorized aid in doing this assignment.” The Honor Code (http://www.dso.ufl.edu/sccr/process/student-conduct-honor-code/) specifies a number of behaviors that are in violation of this code and the possible sanctions. Furthermore,you are obligated to report any condition that facilitates academic misconduct to appropriate personnel. If you have any questions or concerns, please consult with the instructor or TAs in this class.