Lusin-sierpiński index for the internal sets
Journal of Symbolic Logic 57 (1):172-178 (1992)
| Abstract | We prove that there exists a function f which reduces a given Π1 1 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-Sierpinski index of points in X, and prove the basic properties of that index using the classical properties of the Lusin-Sierpinski index. An example of a Π1 1 but not Σ1 1 set is given | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesE. Herrmann (1986). The Index Set $\{E: WE \Equiv1 X\}$. Journal of Symbolic Logic 51 (1):110 - 116.
Vladimir Kanovei & Michael Reeken (1996). Internal Approach to External Sets and Universes. Studia Logica 56 (3):293 - 322.
Vladimir Kanovei & Michael Reeken (1998). Elementary Extensions of External Classes in a Nonstandard Universe. Studia Logica 60 (2):253-273.
Kenneth Schilling & Boško Živaljević (1997). Louveau's Theorem for the Descriptive Set Theory of Internal Sets. Journal of Symbolic Logic 62 (2):595-607.
Vladimir Kanovei & Michael Reeken (1995). Internal Approach to External Sets and Universes. Studia Logica 55 (2):347 - 376.
Boško Živaljević (1991). U-Meager Sets When the Cofinality and the Coinitiality of U Are Uncountable. Journal of Symbolic Logic 56 (3):906-914.
Jeanleah Mohrherr (1983). Kleene Index Sets and Functional M-Degrees. Journal of Symbolic Logic 48 (3):829-840.
Arnold W. Miller (1990). Set Theoretic Properties of Loeb Measure. Journal of Symbolic Logic 55 (3):1022-1036.
Renling Jin (1992). U-Lusin Sets in Hyperfinite Time Lines. Journal of Symbolic Logic 57 (2):528-533.
Bosko Zivaljevic (1992). Lusin-Sierpinski Index for the Internal Sets. Journal of Symbolic Logic 57 (1).
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads3 ( #201,730 of 548,984 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
