论文信息 - Constructive Mathematics without Choice

Constructive Mathematics without Choice

What becomes of constructive mathematics without the axiom of (countable) choice? Using illustrations from a variety of areas, it is argued that it becomes better.

Fred Richman | F. Richman

[1] Douglas S. Bridges,et al. A weak countable choice principle , 2000 .

[2] A. Troelstra,et al. Constructivism in Mathematics: An Introduction , 1988 .

[3] Wim Ruitenburg. Constructing roots of polynomials over the complex numbers , 1990 .

[4] F. Richman. The fundamental theorem of algebra: a constructive development without choice , 2000 .

[5] Murray Rosenblatt,et al. Errett Bishop: Reflections on him and his research , 1985 .

[6] Wim Ruitenburg,et al. A Course in Constructive Algebra , 1987 .