Internal Set

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:

    You will see Coleridge—he who sits obscure
    In the exceeding lustre and the pure
    Intense irradiation of a mind,
    Which, with its own internal lightning blind,
    Flags wearily through darkness and despair—
    A cloud-encircled meteor of the air,
    A hooded eagle among blinking owls.
    Percy Bysshe Shelley (1792–1822)

    I have heard, in such a way as to believe it, of your recently saying that both the Army and the Government needed a Dictator. Of course it was not for this, but in spite of it, that I have given you the command. Only those generals who gain success, can set up dictators.
    Abraham Lincoln (1809–1865)