Abstract
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.
†This research is partially supported by the University of Saskatchewqn, Canada.
†This research is partially supported by the University of Saskatchewqn, Canada.
Notes
†This research is partially supported by the University of Saskatchewqn, Canada.