The fundamental theorem of algebra: a constructive development without choice.

DOI10.2140/pjm.2000.196.213zbMath1046.03036OpenAlexW2083391867MaRDI QIDQ5930550

Fred Richman

Publication date: 19 April 2001

Published in: Pacific Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2140/pjm.2000.196.213

zbMATH Keywords

complete metric spaceconstructive mathematicscountable choicefundamental theorem of algebra

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Polynomials in real and complex fields: location of zeros (algebraic theorems) (12D10) Other constructive mathematics (03F65)

Related Items (13)

Local Bézout theorem for Henselian rings ⋮ A constructive version of Laplace's proof on the existence of complex roots ⋮ The intermediate value theorem in constructive mathematics without choice ⋮ The Isbell-hull of a di-space ⋮ Unique existence, approximate solutions, and countable choice. ⋮ On constructing completions ⋮ Kronecker's density theorem and irrational numbers in constructive reverse mathematics ⋮ Zero sets of univariate polynomials ⋮ Ordering groups constructively ⋮ Problems, solutions, and completions ⋮ A weak countable choice principle ⋮ Completion of premetric spaces ⋮ Spreads and choice in constructive mathematics.

This page was built for publication: The fundamental theorem of algebra: a constructive development without choice.