User:Abcxyz

Hi.

Here are some links that might be of interest to some ProofWiki editors: --abcxyz 22:36, 11 April 2012 (EDT)
 * The Axiom of Countable Choice in Topology
 * Choice principles in elementary topology and analysis