Article contents
Lusin-Sierpiński index for the internal sets
Published online by Cambridge University Press: 12 March 2014
Abstract
We prove that there exists a function f which reduces a given subset P of an internal set X of an ω1 saturated nonstandard universe to the set WF of well-founded trees possessing properties similar to those possessed by the standard part map. We use f to define the Lusin-Sierpiński index of points in X, and prove the basic properties of that index using the classical properties of the Lusin-Sierpiński index. An example of a but not set is given.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1992
References
REFERENCES
- 4
- Cited by