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.
50 Are there any Turing-undecidable problems whose undecidability is independent of the Halting problem? jun 16
48 Avoiding proof by induction mar 21
31 When should I be doing cohomology? dec 30
17 Why do remainders show cyclic pattern? jul 28
17 Can we speak of derivatives of sets? jul 23
16 Are there more groups than rings? may 20