Internal Sets in The Ultrapower Construction
Relative to the ultrapower construction of the hyperreal numbers as equivalence classes of sequences, an internal subset of *R is one defined by a sequence of real sets, where a hyperreal is said to belong to the set if and only if the set of indices n such that, is a member of the ultrafilter used in the construction of *R.
More generally, an internal entity is a member of the natural extension of a real entity. Thus, every element of *R is internal; a subset of *R is internal if and only if it is a member of the natural extension of the power set of R; etc.
Read more about this topic: Internal Set
Famous quotes containing the words internal, sets and/or construction:
“What makes some internal feature of a thing a representation could only its role in regulating the behavior of an intentional system.”
—Daniel Clement Dennett (b. 1942)
“The moment a man sets his thoughts down on paper, however secretly, he is in a sense writing for publication.”
—Raymond Chandler (1888–1959)
“The construction of life is at present in the power of facts far more than convictions.”
—Walter Benjamin (1892–1940)