Series Linear Independence and Choice

@inproceedings{Bridges1997SeriesLI,
  title={Series Linear Independence and Choice},
  author={Douglas S. Bridges},
  year={1997}
}
The notions of linear and metric independence are investigated in relation to the property: if U is a set of m + 1 independent vectors, and X is a set of m independent vectors, then adjoining some vector in U to X results in a set of m + 1 independent vectors. A weak countable choice axiom is introduced, in the presence of which linear and metric independence are equivalent. Proofs are carried out in the context of intuitionistic logic. 

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
SHOWING 1-3 OF 3 REFERENCES

Ruitenburg,A course in constructive algebra, Springer-Verlag

  • Mines, Ray, Fred Richman, Wim
  • 1988

Similar Papers

Loading similar papers…