Abstract
AbstractWe 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.
Publisher
Cambridge University Press (CUP)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Louveau's theorem for the descriptive set theory of internal sets;Journal of Symbolic Logic;1997-06
2. Π₁¹ sets of unbounded Loeb measure;Proceedings of the American Mathematical Society;1996
3. Countably determined sets and a conjecture of C.W. Henson;Mathematische Annalen;1995-09
4. Π 1 1 Functions are Almost Internal;Transactions of the American Mathematical Society;1995-07
5. Π¹₁ functions are almost internal;Transactions of the American Mathematical Society;1995