Existence of Some Sparse Sets of Nonstandard Natural Numbers
Jin, Renling
J. Symbolic Logic, Tome 66 (2001) no. 1, p. 959-973 / Harvested from Project Euclid
Answers are given to two questions concerning the existence of some sparse subsets of $\mathscr{H} = \{0, 1, ..., H - 1\} \subseteq * \mathbb{N}$, where H is a hyperfinite integer. In $\S$ 1, we answer a question of Kanovei by showing that for a given cut U in $\mathscr{H}$, there exists a countably determined set $X \subseteq \mathscr{H}$ which contains exactly one element in each U-monad, if and only if $U = a \cdot \mathbb{N}$ for some $a \in \mathscr{H} \backslash \{0\}$. In $\S$2, we deal with a question of Keisler and Leth in [6]. We show that there is a cut $V \subseteq \mathscr{H}$ such that for any cut U, (i) there exists a U-discrete set $X \subseteq \mathscr{H}$ with $X + X = \mathscr{H}$ (mod H) provided $U \subsetneqq V$, (ii) there does not exist any U-discrete set $X \subseteq \mathscr{H}$ with $X + X = \mathscr{H}$ (mod H) provided $\supsetneqq V$. We obtain some partial results for the case U = V.
Publié le : 2001-06-14
Classification:  Hyperfinite Integer,  Cut,  Countably Determined Set,  U-Discrete Set,  03H05,  03E15,  11P99
@article{1183746484,
     author = {Jin, Renling},
     title = {Existence of Some Sparse Sets of Nonstandard Natural Numbers},
     journal = {J. Symbolic Logic},
     volume = {66},
     number = {1},
     year = {2001},
     pages = { 959-973},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183746484}
}
Jin, Renling. Existence of Some Sparse Sets of Nonstandard Natural Numbers. J. Symbolic Logic, Tome 66 (2001) no. 1, pp.  959-973. http://gdmltest.u-ga.fr/item/1183746484/