Linear independence without choice

DOI10.1016/S0168-0072(99)00030-5zbMATH Open0939.03070OpenAlexW2072490251WikidataQ126789959 ScholiaQ126789959MaRDI QIDQ1964016FDOQ1964016

Authors: Douglas Bridges, Fred Richman, Peter 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

Recommendations

• On certain non-constructive properties of infinite-dimensional vector spaces.
• The vector space Kinna-Wagner principle is equivalent to the axiom of choice
• On independent sequences in topological linear spaces
• Linear extenders and the axiom of choice.
• scientific article

zbMATH Keywords

constructive mathematicsintuitionistic logicaxiom of choicelinear independencenormed linear spacemetric independence

Mathematics Subject Classification ID

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

Cited In (3)

• Equilibrium without independence
• Unique existence, approximate solutions, and countable choice.
• Die Unabhängigkeit des archimedischen Axioms vom starken Intervallschachtelungsaxiom

This page was built for publication: Linear independence without choice

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1964016)