UCLA Logic Center
Information for
Students
Prospective graduate students interested in Mathematical Logic
at UCLA should follow the application instructions on the
Mathematics Department's Graduate Program
webpage, and indicate logic as a field of interest on their
online application. There is no need to send material to the
logic center separately.
The Department's Graduate Program webpage
also has general information about the graduate program. 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 and upcoming Advanced Logic Courses
that go beyond the basic graduate course
Mathematical Logic and Set Theory (Math 220ABC).
Fall Quarter 2015
Math 223D, Topics in Descriptive Set Theory, Andrew Marks
Spring Quarter 2015
Math 223M, Topics in Model Theory, Matthias Aschenbrenner
Winter Quarter 2015
Math 223S, Topics in set theory, Spencer Unger
Math 290D, Participating Seminar: Borel Combinatorics, Itay Neeman
Fall Quarter 2014
Math 285D, Seminar in logic, Matthias Aschenbrenner
Math 290D, Participating Seminar: Determinacy in L(R), Itay Neeman
Spring Quarter 2014
Math 223D, Consequences of determinacy hypotheses, Yiannis Moschovakis
Winter Quarter
2014
Math 285D, Forcing with side conditions and higher analogs of PFA,
Itay Neeman
Math 290D, Participating Seminar: PCF theory, Itay Neeman
Fall Quarter
2013
Math 223S, Topics in set theory, Itay Neeman
Math 290D, Participating Seminar: Fine structure and inner models theory,
Itay Neeman
Spring Quarter
2013 Math 223D, Descriptive set theory, Aleksandra Kwiatkowska
Winter Quarter
2013 Math 223S, Topics in set theory, Tony Martin
Fall Quarter
2012
Math 223D, Introduction to Effective Descriptive Set Theory.
Yiannis Moschovakis.
Spring Quarter
2012
Math 223C, Topics in Computability Theory, Recursion and Complexity.
Yiannis N. Moschovakis.
Math 290D, Non-standard methods
in functional analysis. Isaac Goldbring.
Winter Quarter
2012
Math 223M, Topics in Model Theory.
Matthias Aschenbrenner.
Fall Quarter
2011
Math 223D, Topics in Descriptive Set Theory. Tony Martin.
Math 290D,
Topics in forcing.
Itay Neeman.
Spring Quarter
2011
Math 223S. Topics in set theory, forcing.
Itay Neeman. M-W-F 11:00 - 11:50.
Math 290D, Section 1. Model theory for metric structures.
Isaac Goldbring. T 3:00 - 4:50.
Math 290D, Section 2. Problem solving seminar associated with
220C.
Yiannis Moschovakis. Th. 12:00 - 1:50.
Winter Quarter
2011
Math 223M, Topics in model theory.
Matthias Aschenbrenner. M-W-F 1:00 - 1:50.
Math 290D: Topics in set theory. Grigor Sargsyan. M 4:00 - 5:50.
Fall Quarter
2010
Math 223S: Topics in Set Theory.
Greg Hjorth. M-W-F 1. MS 5137.
Math 290D: Proof Theory.
Henry Towsner. T 3-5. MS 5117.
Spring Quarter
2010 Math
223M: Model Theory. Matthias
Aschenbrenner. MWF 2. MS 5217.
Math 290D:
Current Literature Seminar in Logic.
Itay Neeman. T 3-5. MS 5117.
Winter Quarter
2010 Math 223S:
Topics in Set Theory: Determinacy.
Itay Neeman. MWF 4-5:15. MS 5128.
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.