## Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

## If You Use a Screen Reader

This content is available through Read Online (Free) program, which relies on page scans. Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.

# Existence of Some Sparse Sets of Nonstandard Natural Numbers

Renling Jin
The Journal of Symbolic Logic
Vol. 66, No. 2 (Jun., 2001), pp. 959-973
DOI: 10.2307/2695055
Stable URL: http://www.jstor.org/stable/2695055
Page Count: 15
Preview not available

## Abstract

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 § 1, we answer a question of Kanovei by showing that for a given cut U in 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 · N for some $a \in \mathscr{H} \backslash \{0\}$. In §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 = H (mod H) provided $U \subsetneqq V$, (ii) there does not exist any U-discrete set $X \subseteq \mathscr{H}$ with X + X = H (mod H) provided $\supsetneqq V$. We obtain some partial results for the case U = V.

• 959
• 960
• 961
• 962
• 963
• 964
• 965
• 966
• 967
• 968
• 969
• 970
• 971
• 972
• 973