UCLA Logic Center
Information for Students
Prospective graduate students interested in Mathematical Logic at
UCLA should follow the Mathematics Department's
instructions for applicants,
and indicate logic as a field of interest on their
application. There is no need to send material to the logic center
separately.
General information about the graduate program can be found on the
department's webpages for
prospective graduate students
and
current graduate students.
Logic students typically take Math 220ABC,
Mathematical Logic and Set Theory, in their first year at UCLA. This
is a year-long sequence of courses that covers the basics of model
theory, proof theory, recursion theory, and set theory, and helps
prepare the students for the logic qualifying exam. There is a wealth
of additional, more advanced logic courses at UCLA. Current and
recent course offerings are listed below, and students are also
encouraged to attend the colloquia, and meetings organized by the
logic center. Of course the heart of a student's progress toward the
Ph.D. is research work leading to the dissertation. Students who
passed their qualifying exams are encouraged to contact the
logicians
to set up individual reading courses, which over time will lead to
advising of the student's own research.
Recent Advanced Logic Courses
Fall Quarter 2009
Math 223D:
Topics in Descriptive Set Theory.
Greg Hjorth. MWF 1:00. MS 5147.
Spring Quarter 2009
Math 223M:
Model Theory.
Matthias Aschenbrenner.
MWF 3. MS 7608.
Math 290D:
Current Literature Seminar in Logic: Descriptive Complexity Theory.
Anush Tserunyan. Tuesdays 3-5. MS 6118.
Math 290D:
Current Literature Seminar in Logic: Determinacy.
Itay Neeman. Thursdays 3-5. MS 6118.
Winter Quarter 2009
Math 223S:
Topics in Set Theory: Forcing.
Itay Neeman. MW 2-3:15. MS 5148.
Math 290D:
Current Literature Seminar in Logic: Complexity Lower Bounds.
Yiannis Moschovakis. Tuesdays 3:00-6. MS 5127.
Fall Quarter 2008
Math 223D:
Topics in Descriptive Set Theory.
Greg Hjorth. MW 2-3:30. MS 5217.
Math 290D:
Current Literature Seminar in Logic: Complexity Lower Bounds.
Yiannis Moschovakis. Tuesdays 3:30-6. MS 5147.
Spring Quarter 2008
Math 223S:
Topics in Set Theory: Forcing.
Itay Neeman. MWF 1. MS 5233.
Math 290D:
Current Literature Seminar in Logic: Set Theory.
Itay Neeman. Thursdays 3-5. MS 6118.
Winter Quarter 2008
Math 223D:
Topics in Descriptive Set Theory.
Donald A. Martin. MWF 11. MS 5217.
Math 285D:
Logic Seminar: An Introduction to O-Minimality.
Matthias Aschenbrenner.
MWF 3. MS 5217.