The fundamental theorem of algebra: a constructive development without choice
The fundamental theorem of algebra: a constructive development without choice
复制标题
代数基本定理：没有选择的建设性发展
DOI：
--
复制
发表时间：
2000
期刊：
影响因子：
--
通讯作者：
F. Richman
中科院分区：
文献类型：
--
作者：
F. Richman
Is it reasonable to do constructive mathematics without the axiom of countable choice? Serious schools of constructive mathematics all assume it one way or another, but the arguments for it are not compelling. The fundamental theorem of algebra will serve as an example of where countable choice comes into play and how to proceed in its absence. Along the way, a notion of a complete metric space, suitable for a choiceless environment, is developed.
