On vector spaces over specific fields without choice
We investigate the deductive strength of statements concerning vector spaces over specific fields in the hierarchy of various choice principles.
vector spaces choice principles boolean prime ideal theorem independent sets generating sets bases non-zero linear functionals infinite systems of linear equations fraenkel-mostowski permutation models msc (2010) primary 03e25 secondary 03e35 15a03