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
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