A graduate student at UC-Berkeley, interested in mathematical logic - specifically, computability theory and reverse mathematics, set theory, and abstract model theory. I'm also interested in other Nifty Things, in mathematics and elsewhere.
33 Counterexamples in universal algebra jan 9 '14
28 Godel on recursion-theoretic hierarchies mar 26 '13
24 Where do uncountable models collapse to? oct 14
21 Relative null-ness sep 21
21 Antirandom reals sep 27
21 What are some proofs of Godel's Theorem which are *essentially different* from the original proof? aug 4 '11
21 Supercompact and Reinhardt cardinals without choice apr 23 '12