A Weak Countable Choice Principle (1998)
by
Douglas Bridges
,
Fred Richman
,
Peter Schuster
| Venue: | Proc. Amer. Math. Soc |
| Citations: | 2 - 2 self |
BibTeX
@ARTICLE{Bridges98aweak,
author = {Douglas Bridges and Fred Richman and Peter Schuster},
title = {A Weak Countable Choice Principle},
journal = {Proc. Amer. Math. Soc},
year = {1998},
volume = {128},
pages = {128--2749}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
A weak choice principle is introduced that is implied both by countable choice and by the law of excluded middle. This principle suffices to prove that metric independence is the same as linear independence in an arbitrary normed space over a locally compact field, and to prove the fundamental theorem of algebra.
Citations
| 342 | Constructive Analysis - Bishop, Bridges - 1985 |
| 19 | Richman and Wim Ruitenburg. A course on constructive algebra - Mines, Fred - 1988 |
| 14 | Lectures on Constructive Mathematical Analysis - Kushner - 1984 |
| 12 | The fundamental theorem of algebra: a constructive development without choice - Richman |
| 4 | Constructing roots of polynomials over the complex numbers. Computational aspects of Lie group representations and related topics - Ruitenburg - 1990 |
