UCLA Logic Center

2014 Undergraduate Summer School

The UCLA Logic Center plans to hold a three-week summer school for undergraduates in 2014, from Sunday July 27 to Saturday August 16. (Summer school flyer, 8.5 x 11 inches, PDF format.)

The goal of the summer school is to introduce future mathematicians to central results and techniques from mathematical logic. Courses are very intensive, and reach advanced graduate level material. They are designed to not require specific background in logic, but they do require high mathematical sophistication, for example from upper division or graduate courses in analysis or algebra. The summer school courses serve as good introduction to the kind of work that students of mathematics can expect in graduate school.

Each course in the summer school will meet daily for two hours of lecture, and one hour of guided problem solving in small groups. Students take both courses offered. In addition to the six daily hours of course work (not to mention endless hours of extra work on challenging problem sets over evenings and weekends) there will be lectures on topics of current research, social events, and planned outings in the area.

Thanks to an NSF grant (DMS-1044604) and Logic Center support we expect to provide admitted students with a stipend of $3000, travel allowance up to $500, and dormitory housing at UCLA for no charge (double occupancy rooms, breakfast and dinner included). Undergraduates currently in their Junior year or earlier, or foreign equivalent, are eligible. The application procedure is described below. Applications should be complete at the latest by Friday February 28. Applications that are complete earlier will be considered starting February 24.

The summer school does not lead to formal course credit, but we will be happy to provide letters of recommendation for students who do well in the summer school. The letters will be written by Prof. Itay Neeman in consultation with the instructors.


Descriptive set theory
Instructor: Jay Williams

Mathematicians in the early 20th century discovered that the Axiom of Choice implied the existence of pathological subsets of the real line, such as nonmeasurable sets. Descriptive set theory is a systematic study of classes of sets where these pathologies can be avoided, including, in particular, the definable sets. In the first half of the course, we will use techniques from analysis and set theory, as well as infinite games, to study definable sets of reals and their regularity properties, such as the perfect set property, the Baire property, and measurability.

Descriptive set theory has found applications in dynamical systems, functional analysis, and various other areas of mathematics. Many of the recent applications are found in the theory of definable equivalence relations, which provides a framework for studying very general types of classification problems in mathematics. The second half of this course will give an introduction to this theory.

Forcing and independence in set theory
Instructor: Sherwood Hachtman

Set-theoretic forcing is a technique originally introduced by Paul Cohen to prove that the axiom of choice and the continuum hypothesis are independent of the classical axioms of mathematics. Since then it has led to an explosive growth in research, and has been used by set theorists to prove literally hundreds of independence results. In this course we will introduce students to the forcing technique by first studying some of the combinatorial consequences of Martin's Axiom, an axiom which when added to ZFC makes it possible to prove consistency results by means very similar to those used in forcing. We will then introduce forcing itself and show how it can be applied to settle the independence of the continuum hypothesis.

To apply:

The application deadline passed, and applications for the 2014 summer school are no longer accepted. We intend to hold another summer school in 2015; information about it will be posted on this webpage in December.

Links to previous years' summer schools:

The 2013 Summer School.

The 2012 Summer School.

The 2010 Summer School.

The 2009 Summer School.