Linear independence without choice

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

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

axiom of choiceconstructive mathematicsintuitionistic logiclinear independencemetric independencenormed linear space

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

(6)

• Die Unabhängigkeit des archimedischen Axioms vom starken Intervallschachtelungsaxiom
• Unique existence, approximate solutions, and countable choice.
• Linear forms in a playful universe
• scientific article; zbMATH DE number 1282144 (Why is no real title available?)
• Equilibrium without independence
• Independence, infinite dimension, and operators

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)