Internal set

From Wikipedia, the free encyclopedia

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.

Edward Nelson's internal set theory is a constructivist version of non-standard analysis. Its name should not mislead the reader: conventional infinitary accounts of non-standard analysis also use the concept of internal sets.