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.