Talk:Overspill

It would be helpful to have an explanation of why it's called "overspill." Intuitively, it seems to me that it has to do with the idea that if an internal set contains a certain set, it must also contain some other stuff as well. There's also a completely different statement of it in the context of nonstandard analysis, which is that if an internal set is bounded, it must have a supremum; it would be nice to have a discussion of how the two forms relate.--Bcrowell 03:57, 8 January 2006 (UTC)

It would also be nice to have an explanation of how some of the other statements follow from the overspill principle, e.g., it's not obvious to me how it follows from the form of the principle stated here that the set of standard hyperreals is not internal.--Bcrowell 04:56, 8 January 2006 (UTC)

notation >>
The notation is used in the article without being defined, which does not help readability. Katzmik (talk) 18:10, 18 January 2009 (UTC)