Pages that link to "Item:Q5930550"
From MaRDI portal
The following pages link to The fundamental theorem of algebra: a constructive development without choice. (Q5930550):
Displayed 13 items.
- A constructive version of Laplace's proof on the existence of complex roots (Q375197) (← links)
- The intermediate value theorem in constructive mathematics without choice (Q424546) (← links)
- The Isbell-hull of a di-space (Q429339) (← links)
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics (Q969624) (← links)
- Problems, solutions, and completions (Q1044674) (← links)
- Unique existence, approximate solutions, and countable choice. (Q1427789) (← links)
- Spreads and choice in constructive mathematics. (Q1866471) (← links)
- Local Bézout theorem for Henselian rings (Q2404865) (← links)
- Zero sets of univariate polynomials (Q3065753) (← links)
- A weak countable choice principle (Q4490238) (← links)
- Ordering groups constructively (Q5238136) (← links)
- On constructing completions (Q5718698) (← links)
- Completion of premetric spaces (Q5855277) (← links)