Apparently, this user prefers to keep an air of mystery about them.
26 Objects which can't be defined without making choices but which end up independent of the choice May 20 '13
7 Awfully sophisticated proof for simple facts May 14 '13
2 for which truth-operations f can f-membership in a prime ideal be represented by a polynomial? Jun 4 '13
2 Are extensions of profinite groups profinite? Jan 2 '13