Monday 8 June 2015

set theory - If V=L implies the axiom of choice, why can't we construct the things that depend on the axiom of choice?

$V=L$ is a statement in set theory asserting that every set is constructible. It implies the axiom of choice.



I find this kind of confusing, since the axiom of choice is non-constructive. Can you, for example, find/construct a specific basis of any vector space in $ZFC + V=L$, or within $L$ itself?

No comments:

Post a Comment

real analysis - How to find $lim_{hrightarrow 0}frac{sin(ha)}{h}$

How to find $\lim_{h\rightarrow 0}\frac{\sin(ha)}{h}$ without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...