Apparently, this user prefers to keep an air of mystery about them.
20 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