5
Q: Is there a non-standard proof (via hyperfinite approximation) that every vector space has a basis?
In chapter 19 of Goldblatt's Lectures on the Hyperreals he discusses Hyperfinite Approximation. This phenomenon suggests a new methodology for analysing infinite structures by "lifting" a corresponding analysis that is known for finite ones. In section 19.8 he discusses Hyperfinite Dimensional ...