Linear independence without choice
type: Item
instance of: scholarly article
title: Linear independence without choice
zbMATH Open document ID: 0939.03070
DOI: 10.1016/S0168-0072(99)00030-5
author: Douglas Bridges
author: Fred Richman
author: Peter Schuster
published in: Annals of Pure and Applied Logic
publication date: 2000-07-05T00:00:00Z
Mathematics Subject Classification ID: 03F65
Mathematics Subject Classification ID: 15A03
Mathematics Subject Classification ID: 46S30
zbMATH DE Number: 1398639
zbMATH Keywords: axiom of choice
zbMATH Keywords: constructive mathematics
zbMATH Keywords: metric independence
zbMATH Keywords: normed linear space
zbMATH Keywords: linear independence
zbMATH Keywords: intuitionistic logic
MaRDI profile type: Publication
full work available at URL: s0168-0072(99)00030-5
OpenAlex ID: W2072490251
Wikidata QID: Q126789959
description: scientific article; zbMATH DE number 1398639