The fundamental theorem of algebra: A constructive development without choice

Pacific Journal of Mathematics

Volumn 196, Issue 1, 2000, Pages 213-230

  Richman, Fred ^a  

^a FLORIDA ATLANTIC UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0013136756     PISSN: 00308730     EISSN: None     Source Type: Journal    
DOI: 10.2140/pjm.2000.196.213     Document Type: Article

References (15)

1. E. Bishop, Foundations of constructive analysis, McGraw-Hill, 1967.
2. L.E.J. Brouwer, Intuitionistische Ergänzung des Fundamentalsatzes der Algebra, Proc. Acad. Amsterdam, 27 (1924), 631-634.
3. L.E.J. Brouwer and B. de Loor, Intuitionistischer Beweis des Fundamentalsatzes der Algebra, Proc. Acad. Amsterdam, 27 (1924), 186-188.
4. J.G. van der Corput, On the fundamental theorem of algebra, Indagationes Mathematicae, 8 (1946), 430-440.
5. A. Joyal and G.E. Reyes, Separably real closed local rings, Journal of Pure and Applied Algebra, 43 (1986), 271-279.
6. B.A. Kushner, Lectures on constructive mathematical analysis, AMS Translations of Mathematical Monographs, 60 (1984).
7. Ray Mines, F. Richman and W. Ruitenburg, A course in constructive algebra, Springer-Verlag, 1988.
8. G.H. Moore, Zermelo's axiom of choice, its origins, development and influence, Springer-Verlag, 1982.
9. F. Richman, Intuitionism as generalization, Philosophia Mathematica, 5 (1990), 124-128.
10. _, Interview with a constructive mathematician, Modern Logic, 6 (1996), 247-271.
11. W.B.G. Ruitenburg, Constructing roots of polynomials over the complex numbers, Computational aspects of Lie group representations and related topics (Amsterdam, 1990), 107-128; CWI Tract, 84, Math. Centrum, Centrum Wisk. Inform., Amsterdam, 1991.
12. W.B.G. Ruitenburg, Constructing roots of polynomials over the complex numbers, Computational aspects of Lie group representations and related topics (Amsterdam, 1990), 107-128; CWI Tract, 84, Math. Centrum, Centrum Wisk. Inform., Amsterdam, 1991.
13. G. Stolzenberg, Sets as limits, preprint, 1988.
14. A.S. Troelstra, Intuitionistic extensions of the reals, Nieuw Archief voor Wiskunde, 28 (1980), 63-113.
15. A.S. Troelstra and Dirk van Dalen, Constructivism in mathematics: An introduction, North-Holland, 1988.