UCLA Mathnet Login

Mathematical Logic

Mathematical Logic has a long tradition in the UCLA Mathematics Department going back to the 1940s, with early faculty that included C. C. Chang, Alfred Horn, Max Zorn, and Abraham Robinson. The group's strengths over the years have been in model and set theory, and the foundations of mathematics.

The group maintains close connections with other mathematical logic groups in southern California, at Caltech and at UC-Irvine, runs several seminars including the Caltech-UCLA Cabal seminar, runs a biweekly Logic Colloquium, and organizes a series of biennial conferences with national and international speakers, known as Very Informal Gatherings of Logicians, which started in 1975.

The UCLA Logic Center, founded in 2004 through a generous anonymous donation, serves as a focal point for these and many other activities. Mathematical logic at UCLA has been supported from the beginning by the strength in Philosophical Logic of the UCLA Philosophy Department, whose early faculty included such luminaries as Rudolf Carnap, Richard Montague, and Alonzo Church. The UCLA Logic Center continues the tradition with activities that support both mathematical and philosophical logic.


Faculty Visiting Faculty Graduate Students

Matthias Aschenbrenner

Artem Chernikov

Andrew Marks 

Donald A. Martin (Emeritus)

Yiannis Moschovakis (Emeritus)

Itay Neeman

Omer Ben-Neria 

Nadja Hempel

Spencer Unger

Tyler Arant

Madeline Barnicle 

Anton Bobkov

Thomas Gilton

Alex Mennen

Zach Norwood

Assaf Shani

John Susice