[FOM] Re: Explicit construction [etc]

[W.Taylor@math.canterbury.ac.nz]

Harvey Friedman wrote, in passing:

>>>
The mainstream of mathematical culture is with the finite and the
countable. This includes Borel functions between Polish spaces at the
outer boundary, as it is clearly understood in countable terms.
<<<

I didn't cotton on to this comment.

Could Harvey or elseone please elaborate on it for us?

Thanks,   Bill Taylor.