Previous Mathematical Logic Research Ph.D.s

For our most recent Ph.D.s, see Mathematical Logic Research.

2006

Xianghui Shi (LMS student) (Woodin) Prewellorderings vs. Wellfounded Relations

2005

Dragos Ghioca (Scanlon, Poonen) The Arithmetic of Drinfeld Modules

2004

Clifton F. Ealy (Scanlon) Thorn Forking in Simple Theories
Apollo Francis Hogan (Steel) General Topology Under the Axiom of Determinacy: the Beauty of Topology Without Choice
Jason Horowitz (Slaman) Linearizing Countably Infinite Partial Orders
Andreas Jue-Der Liu (Woodin) Self-Similarity at Singular Cardinals
Benjamin Miller (Steel) Full Groups, Classification, and Equivalence Relations

2003

Andrés Caicedo (Steel, Woodin) Simply Definable Well-Orderings of the Reals

2002

Bjorn Kjos-Hanssen (LMS-student) (Slaman) Lattice initial segments of the Turing degrees
Alf Onshuus (Scanlon) Thorn-forking in Rosy Theories

2001

John Clemens (Steel) Description Set Theory, Equivalence Relations, and Classification Problems in Analysis
David Lippe (LMS-student) (Slaman) The Structure of the Delta-0-2 Turing Degrees
David Lippel (Harrington) Finitely axiomatizable omega-categorical theories
Richard Zach (Silver) Hilbert's Program: Historical and Philosophical Perspectives

2000

Concetta Gomez (Harrington) Definability in p-adic Power Series Rings
Aaron Zoble (Woodin) Stationary Reflection and the Determinacy of Inductive Games
Richard Ketchersid (Woodin) Toward AD_R from the Continuum Hypothesis and an ω₁-dense ideal