Linear independence without choice

DOI10.1016/S0168-0072(99)00030-5zbMath0939.03070OpenAlexW2072490251WikidataQ126789959 ScholiaQ126789959MaRDI QIDQ1964016

Douglas S. Bridges, Fred Richman, Peter M. Schuster

Publication date: 5 July 2000

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0168-0072(99)00030-5

zbMATH Keywords

normed linear spaceconstructive mathematicsintuitionistic logiclinear independenceaxiom of choicemetric independence

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Vector spaces, linear dependence, rank, lineability (15A03) Constructive functional analysis (46S30)

Related Items (1)

Unique existence, approximate solutions, and countable choice.

This page was built for publication: Linear independence without choice