Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity

From: Timothy Little (tim-via-n.i.net_at_little-possums.net)
Date: 01/30/05


Date: 30 Jan 2005 22:46:54 GMT

Dave Seaman wrote:
> That is an external set, not an internal set.

Yes, it is. So is Ross' putative sequence of reals indexed by the
hyperintegers, so we're clearly not talking just about internal sets.

- Tim