Talk:Positive Real has Real Square Root

What are appropriate categories? The result is of an algebraic nature, but the proof is necessarily topological (as it requires completeness of the reals). Also, this proof applies only to reals, although there's also a version for complex numbers. --Dfeuer (talk) 20:22, 2 January 2013 (UTC)


 * I think the category Category:Real Numbers suffices. --Lord_Farin (talk) 20:39, 2 January 2013 (UTC)

Merge request
Absolutely. I tried to find that page but failed. Unfortunately, Existence of Root has so many horrible errors that it basically needs to be rewritten from scratch. --Dfeuer (talk) 21:15, 2 January 2013 (UTC)


 * Taken practically verbatim from the source work I was using. --prime mover (talk) 21:33, 2 January 2013 (UTC)


 * Take a look and tell me if I'm hallucinating. --Dfeuer (talk) 21:47, 2 January 2013 (UTC)