Apparently, this user prefers to keep an air of mystery about them.
5 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