Apparently, this user prefers to keep an air of mystery about them.
19 Real Lie groups versus real linear algebraic groups: differences in connexity and fundamental group may 22 '14
18 Looking for a copy of Leo Harrington's unpublished notes on the first nonprojectible ordinal feb 25 '13
14 Examples of interesting false proofs jan 14 '13
11 Is equality of terms for “real” numbers with roots, logarithm, exponential, sin, cos, and other trigonometric operations decidable with a Turing-machine? jan 15 '13
10 Constructing the surreal numbers as iterated Hahn series oct 30 '11
9 Commutative algebras whose bidual is commutative jan 29 '14