Existence of some sparse sets of nonstandard natural numbers

Journal of Symbolic Logic 66 (2):959-973 (2001)
  Copy   BIBTEX

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,164

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Cohen-stable families of subsets of integers.Miloš S. Kurilić - 2001 - Journal of Symbolic Logic 66 (1):257-270.
Cuts in hyperfinite time lines.Renling Jin - 1992 - Journal of Symbolic Logic 57 (2):522-527.
U-monad topologies of hyperfinite time lines.Renling Jin - 1992 - Journal of Symbolic Logic 57 (2):534-539.
On the t-degrees of partial functions.Paolo Casalegno - 1985 - Journal of Symbolic Logic 50 (3):580-588.
U-lusin sets in hyperfinite time lines.Renling Jin - 1992 - Journal of Symbolic Logic 57 (2):528-533.

Analytics

Added to PP
2009-01-28

Downloads
34 (#441,874)

6 months
6 (#403,662)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.

Add more references