Apparently, this user prefers to keep an air of mystery about them.
13 Fulfilling Pythagoras' Dream using Nonstandard Models of Arithmetic and/or Surreal Numbers Feb 6 '11
7 Does the Feferman-Schutte analysis give a precise characterization of Predicative Second-Order Arithmetic? Sep 26 '13
5 Why is adopting Russell's Axiom of Reducibility as strong as eliminating the Ramified Hierarchy? Jan 15 '14