Search results
Results From The WOW.Com Content Network
Without using countable choice, it is not possible to constructively prove the fundamental theorem of algebra for complex numbers based on the Dedekind real numbers (which are not constructively equivalent to the Cauchy real numbers without countable choice). [8] However, Fred Richman proved a reformulated version of the theorem that does work. [9]