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
6 Does the Feferman-Schutte analysis give a precise characterization of Predicative Second-Order Arithmetic? sep 26 '13
4 What is the state of research on Horn Angles? feb 22 '11