Publications
“The for-all-there-exists-theory of effectively closed Medvedev degrees is decidable,” with Takayuki Kihara in Archive for Mathematical Logic, 49:1-16, 2010.
“Mass problems and hyperarithmeticity,” with Stephen G. Simpson in Journal of Mathematical Logic, 7:125-143, 2008.
“Embedding the free distributive lattice on countably many generators into P_s densely,” in Archive for Mathematical Logic, 46:649-664, 2008.