User:Abcxyz

Hi.

Here are some links that might be of interest to some ProofWiki editors:

• The Axiom of Countable Choice in Topology
• Choice principles in elementary topology and analysis

--abcxyz 22:36, 11 April 2012 (EDT)

My sandbox

Feel free to comment. --abcxyz (talk) 16:44, 9 January 2013 (UTC)

• Dedekind Completions of Ordered Sets
• Dedekind Completions of Archimedean Ordered Groups
• Real Numbers