Apparently, this user prefers to keep an air of mystery about them.
23 Do the analogies between metamathematics of set theory and arithmetic have some deeper meaning? dec 29
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
15 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 “Largish” cardinals dec 9
10 Constructing the surreal numbers as iterated Hahn series oct 30 '11