> As it turns out, the claim that every vector space has a basis is equivalent to the axiom of choice, which seems well beyond the scope of the article.
> However, the particular vector space in question (functions from R to R) does have a basis, which the author describes.
No, there is no known constructible basis for R -> R functions.
> However, the particular vector space in question (functions from R to R) does have a basis, which the author describes.
No, there is no known constructible basis for R -> R functions.