On 3/31/2013 10:52 AM, Ross A. Finlayson wrote: > > Well, you see Virgil has introduced a term in context the "binary > rational path": in cooperative communication that is so defined > there, because that every initial segment is the initial segment of a > rational, and that the language of "rational paths" is unbounded, > doesn't offer for him the conclusion of his arguments. So, he expects > that to be understood as his definition in passing, or he can point to > it later, as to differentiating his personal definition from the > general definition, as so qualified. >
He should not have done that.
The Baire space has the required property in relation to rational numbers -- correspondence with eventually constant sequences.
It gets confusing when you are trying to deal with WM's misrepresentations.