$U$-Lusin Sets in Hyperfinite Time Lines
Jin, Renling
J. Symbolic Logic, Tome 57 (1992) no. 1, p. 528-533 / Harvested from Project Euclid
In an $\omega_1$-saturated nonstandard universe a cut is an initial segment of the hyperintegers which is closed under addition. Keisler and Leth in [KL] introduced, for each given cut $U$, a corresponding $U$-topology on the hyperintegers by letting $O$ be $U$-open if for any $x \in O$ there is a $y$ greater than all the elements in $U$ such that the interval $\lbrack x - y, x + y\rbrack \subseteq O$. Let $U$ be a cut in a hyperfinite time line $\mathscr{H}$, which is a hyperfinite initial segment of the hyperintegers. A subset $B$ of $\mathscr{H}$ is called a $U$-Lusin set in $\mathscr{H}$ if $B$ is uncountable and for any Loeb-Borel $U$-meager subset $X$ of $\mathscr{H}, B \cap X$ is countable. Here a Loeb-Borel set is an element of the $\sigma$-algebra generated by all internal subsets of $\mathscr{H}$. In this paper we answer some questions of Keisler and Leth about the existence of $U$-Lusin sets by proving the following facts. (1) If $U = x/\mathbb{N} = \{y \in \mathscr{H}: \forall n \in \mathbb{N}(y < x/n)\}$ for some $x \in \mathscr{H}$, then there exists a $U$-Lusin set of power $\kappa$ if and only if there exists a Lusin set of the reals of power $\kappa$. (2) If $U \neq x/\mathbb{N}$ but the coinitiality of $U$ is $\omega$, then there are no $U$-Lusin sets if CH fails. (3) Under ZFC there exists a nonstandard universe in which $U$-Lusin sets exist for every cut $U$ with uncountable cofinality and coinitiality. (4) In any $\omega_2$-saturated nonstandard universe there are no $U$-Lusin sets for all cuts $U$ except $U = x/\mathbb{N}$.
Publié le : 1992-06-14
Classification: 
@article{1183743972,
     author = {Jin, Renling},
     title = {$U$-Lusin Sets in Hyperfinite Time Lines},
     journal = {J. Symbolic Logic},
     volume = {57},
     number = {1},
     year = {1992},
     pages = { 528-533},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183743972}
}
Jin, Renling. $U$-Lusin Sets in Hyperfinite Time Lines. J. Symbolic Logic, Tome 57 (1992) no. 1, pp.  528-533. http://gdmltest.u-ga.fr/item/1183743972/