**
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.