Apparently, this user prefers to keep an air of mystery about them.
19 Does an existence of large cardinals have implications in number theory or combinatorics? May 3 '13
14 Existence property for ordered fields Aug 2 '13
9 Bishop's paradox of the countability of sequences Jan 26 '14
7 Brouwer's theorem for the Cauchy reals Aug 28 '15
6 Where is the end of universe? Sep 29 '13
5 How hard is Heyting satisfiability, i.e. the constructive version of SAT? In particular, is 2-HSAT NL-complete or is it harder? Aug 13 '13