## Shehzad Ahmed – Coanalytic determinacy and sharps

January 12, 2015

Shehzad is my most recent student, having completed his M.S. thesis on May last year. He is currently pursuing his PhD at Ohio University. His page is here, and he also keeps a blog.

His thesis, $\mathbf \Pi^1_1$-determinacy and sharps, is a survey of the Harrington-Martin theorem, showing the equivalence between a definable fragment of determinacy, and a large cardinal hypothesis.