The fundamental theorem of algebra: A constructive development without choice

被引:30
作者
Richman, F [1 ]
机构
[1] Florida Atlantic Univ, Boca Raton, FL 33431 USA
关键词
D O I
10.2140/pjm.2000.196.213
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
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.
引用
收藏
页码:213 / 230
页数:18
相关论文
共 14 条
[1]  
[Anonymous], 1996, MODERN LOGIC
[2]  
[Anonymous], 1990, PHILOS MATH
[3]  
Bishop E., 1967, Foundations of Constructive Analysis
[4]  
Brouwer LEJ, 1924, P K AKAD WET-AMSTERD, V27, P186
[5]  
Brouwer LEJ, 1924, P K AKAD WET-AMSTERD, V27, P631
[6]   SEPARABLY REAL CLOSED LOCAL-RINGS [J].
JOYAL, A ;
REYES, GE .
JOURNAL OF PURE AND APPLIED ALGEBRA, 1986, 43 (03) :271-279
[7]  
KUSHNER BA, 1984, AMS TRANSLATIONS MAT, V60
[8]  
MINES FR, 1988, COURSE CONSTRUCTIVE
[9]  
Moore Gregory, 1982, Zermelo's Axiom of Choice
[10]  
Ruitenburg Wim, 1991, CWI TRACT, V84, P107