Linear independence without choice

DOI10.1016/S0168-0072(99)00030-5MaRDI QIDQ1964016zbMATHOpenAlexWikidataFDO

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

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)

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 DE number 5818960

Cited in

(5)

• Linear forms in a playful universe
• Die Unabhängigkeit des archimedischen Axioms vom starken Intervallschachtelungsaxiom
• Independence, infinite dimension, and operators
• Equilibrium without independence
• Unique existence, approximate solutions, and countable choice.

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)