Locally free vector spaces in a topos*

摘要

In this work it is shown that in an elementary topos with natural number object and with internal choice, every vector space over a field is locally free.