User talk:Abcxyz/Sandbox/Dedekind Completions of Archimedean Ordered Groups

I have to admit I got lost trying to understand this proof. Would it be possible to either refactor it or to add some text to outline what is being done here? --Dfeuer (talk) 17:24, 25 January 2013 (UTC)


 * Could you please point out where you got lost? That would be helpful. --abcxyz (talk) 17:35, 25 January 2013 (UTC)

To start out, I would suggest fleshing out your invocations of your characterization theorem. It wouldn't hurt to add some section markers to separate the proofs of the group axioms. --Dfeuer (talk) 17:57, 25 January 2013 (UTC)


 * Is this clear now? --abcxyz (talk) 19:23, 25 January 2013 (UTC)