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