PhD student at University of Ottawa.
12 Are professional mathematicians concerned with formalizing infinitely many dependent choices? May 13
11 Prove that a covering map is a homeomorphism Feb 16 '13
7 How to show the that a set $A$ nowhere dense is equivalent to the complement of $A$ containing a dense open set? Jun 10 '14
7 Compact metric connected space May 7 '14
6 Inverse image of a compact set is compact Feb 14 '14