Apparently, this user prefers to keep an air of mystery about them.
10 Borel sets preserved under open maps? Sep 11 '12
9 Idea behind the proof of consistency of club filter of $\omega_1$ is ultrafilter + ZF + DC Oct 10 '15
5 First order consequence of a combinatorial principle May 16 '13