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)
“It is odd but agitation or contest of any kind gives a rebound to my spirits and sets me up for a time.”
—George Gordon Noel Byron (1788–1824)
“There’s no art
To find the mind’s construction in the face.”
—William Shakespeare (1564–1616)