Mathematical Logic Research
Mathematical Logic Research, UC Berkeley
Including model theory, recursion theory, and set theory
We have a large active group of researchers in several core areas of mathematical logic; including model theory, recursion theory and set theory. A number of members of the logic group belong to the Group in Logic and Methodology of Science, which runs a bi-weekly colloquium and has its own graduate students.
Faculty
Tenured and tenure-track:
John W. Addison (Emeritus), Theory of definability, descriptive set theory, model theory, recursive function theory.
Leo A. Harrington, Recursion theory, model theory, set theory.
Ralph N. McKenzie (Emeritus), General algebra, mathematical logic.
Thomas Scanlon, Model theory and applications to number theory.
Jack H. Silver, Mathematical logic, theory of sets.
Theodore A. Slaman, Recursion theory, mathematical logic.
Robert Solovay (Emeritus), Computer verification of formal proofs.
John R. Steel, Set theory, descriptive set theory, fine structure.
W. Hugh Woodin, Set theory, large cardinals, mathematical logic.
Current Visitors and Postdoctoral Fellows:
Jan Reimann, Theory of definability, Descriptive set theory, Model theory, Recursive function theory.
Undergraduate upper divison courses
Math 125. Mathematical logic.
Math 135. Set theory.
Graduate courses
Math 225A-225B. Metamathematics.
Math 227A-227B. Theory of recursive functions.
Math 229. Theory of models.
Math 235A-235B. Theory of sets.
Math 236. Metamathematics of set theory.
Topics courses and Seminars
2006-2007
Fall 2006
Math 290. Recursion Theory, Leo Harrington and Theodore Slaman
Math 290. Model Theory, Tom Scanlon
Math 290. Model Theory: Metastability, Tom Scanlon
Math 290. Inner Model Theory, John Steel
Math 290. Set Theory, W. Hugh Woodin
Spring 2007
Math 290. Recursion Theory, Leo Harrington and Theodore Slaman
Math 290. Model Theory, Tom Scanlon
Math 290. Model Theory: Metastability, Tom Scanlon
Math 290. Inner Model Theory, John Steel
Math 290. Set Theory, W. Hugh Woodin
Current Thesis Students: Name (Adviser)
Meghan Anderson (Scanlon)
Uri Andrews (Scanlon)
Adam Booth (LMS-student) (Steel)
Richard Dore (Woodin)
Kenneth Easwaran (LMS-student) (Scanlon)
Benjamin Johnson (LMS-student) (Harrington)
Dominic McCarty (Woodin)
Koushik Pal (LMS-student) (Scanlon)
Farmer Schlutzenberg (Steel)
Lynn Scow (Scanlon)
Recent Ph.D.s: Name (Adviser) Thesis title
2009
Paul Baginski (Scanlon) Stable ℵ0 Categorical Algebraic Structures
Joseph Doyle Flenner (Scanlon) The Relative Structure of Henselian Valued Fields
Peter Gerdes (Harrington) Moduli of Computation
Galen Huntington (Fitelson) Toward an Efficient Decision Procedure for the Existential Theory of the Reals
Maryanthe Malliaris (Scanlon) Persistence and Regularity in Unstable Model Theory
Janak Daniel Ramakrishnan (Scanlon) Type of o-minimal Theories
Grigor Sargsyan (Steel) A Tale of Hybrid Mice
2008
Erik Closson (Steel) The Solovay Sequence in Derived Models Associated to Mice
2007
Bernard Anderson (Slaman) Relative Properties of Reals
Johanna Franklin (Slaman) Aspects of Schnorr Randomness
John Goodrick (Scanlon) When Are Elementarily Bi-embeddable Models Isomorphic?
Alice Medvedev (Scanlon) Group-Like Minimal Sets in ACFA