Apparently, this user prefers to keep an air of mystery about them.
19 What proofs cannot be relativized feb 19 '11
14 Is there a subset of the natural number plane, which doesn't know which of its slices are arithmetic? sep 7 '13
5 Jump Inversion of Arithmetic may 16 '11
4 What are some proofs of Godel's Theorem which are *essentially different* from the original proof? aug 4 '11
4 Is the Turing equivalence relation the orbit equiv. relation of the action of a countable group? may 25 '12
0 Order types of positive reals may 18 '10