Apparently, this user prefers to keep an air of mystery about them.
6 Function extensionality: does it make a difference? why would one keep it out of the axioms? Jan 31 '14
3 Does the existence of the von Neumann hierarchy in models of Zermelo set theory with foundation imply that every set has ordinal rank? Sep 1 '13
3 Non-constructive proofs of decidability? Sep 26 '13
3 Can SAT be solved in time n^k, for a specific k? Jun 10 '10