User:Abcxyz/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