Hostname: page-component-78c5997874-fbnjt Total loading time: 0 Render date: 2024-11-16T18:23:55.833Z Has data issue: false hasContentIssue false

Lusin-Sierpiński index for the internal sets

Published online by Cambridge University Press:  12 March 2014

Boško Živaljević*
Affiliation:
Department of Mathematics, University of Sarajevo, 71000 Sarajevo, Yugoslavia
*
Department of Computer Science, Michigan State University, East Lansing, Michigan 48824, E-mail: [email protected]

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
Copyright
Copyright © Association for Symbolic Logic 1992

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[He1] Henson, C. W., Analytic sets, Baire sets and the standard part map, Canadian Journal of Mathematics, vol. 31 (1979), pp. 663672.CrossRefGoogle Scholar
[He2]Henson, C. W., Private communication.Google Scholar
[KKML]Keisler, H. J., Kunen, K., Miller, A., and Leth, S., Descriptive set theory over a hyperfinite set, this Journal, vol. 54 (1989), pp. 11671180.Google Scholar
[Mo]Moschovakis, Y. N., Descriptive set theory, North Holland, Amsterdam, 1980.Google Scholar
[Ro]Rogers, C. A., Lusin's second separation theorem, Journal of the London Mathematical Society, ser. 2, vol. 6 (1973), pp. 491503.CrossRefGoogle Scholar
[Wi1]Willmott, R. C., Some relations between k-analytic sets and generalized Borel sets, Fundamenta Mathematicae, vol. 71 (1971), pp. 261271.CrossRefGoogle Scholar
[Wi2]Willmott, R. C., A form of Lusin's second separation theorem for k-analytic sets, Journal of the London Mathematical Society, ser. 2, vol. 12 (1976), pp. 213218.CrossRefGoogle Scholar