Logical Framework
Given any set S, the superstructure over a set S is the set V(S) defined by the conditions
Thus the superstructure over S is obtained by starting from S and iterating the operation of adjoining the power set of S and taking the union of the resulting sequence. The superstructure over the real numbers includes a wealth of mathematical structures: For instance, it contains isomorphic copies of all separable metric spaces and metrizable topological vector spaces. Virtually all of mathematics that interests an analyst goes on within V(R).
The working view of nonstandard analysis is a set *R and a mapping
which satisfies some additional properties.
To formulate these principles we first state some definitions: A formula has bounded quantification if and only if the only quantifiers which occur in the formula have range restricted over sets, that is are all of the form:
For example, the formula
has bounded quantification, the universally quantified variable x ranges over A, the existentially quantified variable y ranges over the powerset of B. On the other hand,
does not have bounded quantification because the quantification of y is unrestricted.
Read more about this topic: Non-standard Analysis
Famous quotes containing the words logical and/or framework:
“The logical English train a scholar as they train an engineer. Oxford is Greek factory, as Wilton mills weave carpet, and Sheffield grinds steel. They know the use of a tutor, as they know the use of a horse; and they draw the greatest amount of benefit from both. The reading men are kept by hard walking, hard riding, and measured eating and drinking, at the top of their condition, and two days before the examination, do not work but lounge, ride, or run, to be fresh on the college doomsday.”
—Ralph Waldo Emerson (1803–1882)
“Seeing our common-sense conceptual framework for mental phenomena as a theory brings a simple and unifying organization to most of the major topics in the philosophy of mind.”
—Paul M. Churchland (b. 1942)