Talk:Dedekind Completion is Unique up to Isomorphism

I have introduced this theorem for most concepts in the cat thy realm (anything generated by a universal property) as "X is Unique" because it's so much shorter and the compromise on consistency between title and theorem is very small (IMHO). Just sayin'. --Lord_Farin (talk) 22:35, 8 January 2013 (UTC)


 * So what's actually wrong with the conceptual simplicity of "Dedekind Completion is Unique"? I argue that the latter is better because it's easier to find when you're looking for it. --prime mover (talk) 06:11, 9 January 2013 (UTC)


 * Would you also suggest changing "Existence of Dedekind Completion" to "Dedekind Completion Exists"?
 * By the way, I named them "Existence of [X]" and "Uniqueness of [X]" because there are a lot of pages called "Existence and Uniqueness of [X]", but I can't find any pages called "[X] Exists and is Unique". I'm not sure if this really matters, though. --abcxyz (talk) 15:18, 9 January 2013 (UTC)