UCLA Logic Center

2015 Undergraduate Summer School

The UCLA Logic Center plans to hold a three-week summer school for undergraduates in 2015, from Sunday June 21 to Saturday July 11.

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 material, at a graduate level. 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 provide admitted students with a stipend of $3,000, travel allowance up to $500, and dormitory housing at UCLA for no charge (double occupancy rooms, breakfast and dinner included).

The application procedure is described below. The application deadline is Saturday February 28, at 9pm Pacific Time.

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.

Courses:

Determinacy
Instructor: Sherwood Hachtman

Principles of determinacy state the existence of winning strategies in certain two-player games of infinite length. They were initially considered in the '30s and '50s in connection with various topological properties; for example the famous Banach-Mazur game relates determinacy to the Baire property and other games relate determinacy to the perfect set property and Lebesgue measurability. Despite their somewhat humble beginnings, these innocuous-looking principles are today understood to have surprisingly deep connections with set theory at the highest and lowest levels of the infinite. At the high end they are intricately connected to large cardinal axioms, and at the low end they can be used to develop a deep structure theory for definable sets of reals. In this course we will explore the effects that determinacy hypotheses have on the structure of the set theoretic universe and especially on the real line, while simultaneously introducing students to basic techniques and tenets of descriptive set theory. We will also investigate the extent to which determinacy can be realized just on the basis of the classical mathematical axioms.

First order logic and Gödel's incompleteness theorems
Instructors: Zach Norwood and John Susice

At the beginning of the 20th century mathematics experienced a crisis due to the discovery of certain paradoxes, e.g. Russell's paradox, in previous attempts to formalize abstract notions of sets and functions. To put analysis on a firm foundation, similar to the axiomatic foundation for geometry, Hilbert proposed a program aimed at a direct consistency proof of analysis. This would involve a system of axioms that is consistent, meaning free of internal contradictions, and complete, meaning rich enough to prove all true statements. But the search for such a system was doomed to fail: Gödel proved in the early 1930s that any system of axioms that can be listed by some computable process, and subsumes Peano arithmetic, is either incomplete or inconsistent. This is the Gödel incompleteness theorem, and we will prove it in the second half of this course. In the first half, we will develop the framework of first order logic, culminating in a proof of the compactness theorem, one of the most useful tools of logic. In addition, we will discuss applications in various fields of mathematics such as combinatorics and algebra.

To apply:

Applications are collected through the American Mathematical Society's MathPrograms.org. Complete the online cover sheet and application form for the summer school. You will be asked to provide the following:

We are looking for students who are ready for graduate level material, and for challenging problems at a graduate level. At a minimum we expect applicants to have done well in upper division courses in abstract mathematics, for example analysis and abstract algebra. Additional advanced work is a plus.

You may upload unofficial transcripts, or scanned images of official transcripts. Your references should be written by people who can comment on your academic abilities, especially in mathematics.

You will be sent an email confirmation of your application, and your letter-writers will be contacted once you apply. You can use MathPrograms.org to track the submission of reference letters, edit or revise your application until the application deadline, and have reminders sent to your letter-writers if necessary. We do not accept any material by mail. All material must be uploaded on MathPrograms.org.

Your application should be complete by Saturday February 28 at 9pm Pacific Time. Admission decisions will be emailed in March. If you have deadlines for other programs let us know and we will try to make an early decision on your application if possible.

The summer school is for undergraduates, currently in their Junior year or earlier. Women and members of underrepresented minorities are especially encouraged to apply. Both US and foreign students may apply. Foreign students who are not at a US university should be at a stage equivalent to the US Junior year or earlier.

Inquiries on matters which are not addressed above may be directed to logicschool@math.ucla.edu.

Links to previous years' summer schools:

The 2014 Summer School.

The 2013 Summer School.

The 2012 Summer School.

The 2010 Summer School.

The 2009 Summer School.