From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Mathematics (Rated Start-class, Low-priority)
WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
Start Class
Low Priority
 Field:  Foundations, logic, and set theory

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 >>[edit]

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