Basic information

This is MHF 6307 (MAT 6932)
Section 03G8 — Mathematical Logic (Logic Seminar)

Instructor: Doug Cenzer
Office: 310 Little Hall, 392-0281, extension 262.
Office Hours: M 7th, W 9th, F 4th.
Email: cenzer@math.ufl.edu

TEXT: “Mathematical Logic”, by Peter Hinman

• Class Syllabus  
  

  Set Theory Handouts

• Inductive Definability
• Axioms of Zermelo-Fraenkel
• Ordinals
• Cardinals
• More Cardinals
• Axiom of Choice  
  

  Homework Assignments (from Hinman)

  Under Construction

• Chapter Six Homework  
• Chapter Seven Homework  
• Chapter Five and Eight Homework  
  

  Logic Ph.D. Study Questions

• Review Problems from Hinman
• Review Problems
• Review Problems Two
• Logic Exam Questions [PDF file]
• NEW Logic Exam Questions [PDF file]