The fundamental theorem of algebra: a constructive development without choice.
From MaRDI portal
Publication:5930550
DOI10.2140/pjm.2000.196.213zbMath1046.03036MaRDI QIDQ5930550
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
54E35: Metric spaces, metrizability
12D10: Polynomials in real and complex fields: location of zeros (algebraic theorems)
03F65: Other constructive mathematics
Related Items
A weak countable choice principle, Ordering groups constructively, On constructing completions, Completion of premetric spaces, 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, Kronecker's density theorem and irrational numbers in constructive reverse mathematics, Problems, solutions, and completions, Unique existence, approximate solutions, and countable choice., Spreads and choice in constructive mathematics., Local Bézout theorem for Henselian rings, Zero sets of univariate polynomials