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
24 Godel on recursion-theoretic hierarchies mar 26 '13
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
21 Relative null-ness sep 21
20 Self-containing structures mar 24 '13