In mathematical logic, in particular in model theory and non-standard analysis, an internal set is a set that is a member of a model.
The concept of internal sets is a tool in formulating the transfer principle, which concerns the logical relation between the properties of the real numbers R, and the properties of a larger field denoted *R called the hyperreal numbers. The field *R includes, in particular, infinitesimal ("infinitely small") numbers, providing a rigorous mathematical justification for their use. Roughly speaking, the idea is to express analysis over R in a suitable language of mathematical logic, and then point out that this language applies equally well to *R. This turns out to be possible because at the set-theoretic level, the propositions in such a language are interpreted to apply only to internal sets rather than to all sets (note that the term "language" is used in a loose sense in the above).
Edward Nelson's internal set theory is not a constructivist version of non-standard analysis (but see Palmgren at constructive non-standard analysis). Its name should not mislead the reader: conventional infinitary accounts of non-standard analysis also use the concept of internal sets.
Read more about Internal Set: Internal Sets in The Ultrapower Construction, Internal Subsets of The Reals
Famous quotes containing the words internal and/or set:
“I maintain that I have been a Negro three times—a Negro baby, a Negro girl and a Negro woman. Still, if you have received no clear cut impression of what the Negro in America is like, then you are in the same place with me. There is no The Negro here. Our lives are so diversified, internal attitudes so varied, appearances and capabilities so different, that there is no possible classification so catholic that it will cover us all, except My people! My people!”
—Zora Neale Hurston (1891–1960)
“Racism is when you have laws set up, systematically put in a way to keep people from advancing, to stop the advancement of a people. Black people have never had the power to enforce racism, and so this is something that white America is going to have to work out themselves. If they decide they want to stop it, curtail it, or to do the right thing ... then it will be done, but not until then.”
—Spike Lee (b. 1956)