Blog

In a comment to a recent question, Jeremy Rickard asked whether it is consistent with ZF that the map $ V \to V^{**}$ from a vector space to its double dual is always surjective. We know that “always injective” is consistent (since that’s what happens in ZFC) and Jeremy Rickard’s argument shows that “always anRead more