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)


 * Renamed back again to "Dedekind Completion is Unique up to Isomorphism" which is as it was originally planned. Sorry, I've thought about it and you were right in the first place. --prime mover (talk) 09:00, 21 September 2013 (UTC)