We present a multidimensional version of the Three Gap Theorem of Steinhaus, proving that the number of the so-called primitive arcs is bounded in any dimension.

We consider various forms of Ramsey's theorem, the monotone subsequence theorem and the Bolzano-Weierstrass theorem which are connected with ideals of subsets of natural numbers. We characterize ideals with properties considered. We show that, in a sense, Ramsey's theorem, the monotone subsequence theorem and the Bolzano-Weierstrass theorem characterize the same class of ideals. We use our results to show some versions of density Ramsey's theorem (these are similar to generalizations shown in [P....

Suppose $A$ is a set of non-negative integers with upper Banach density $\alpha$ (see definition below) and the upper Banach density of $A+A$ is less than $2\alpha$. We characterize the structure of $A+A$ by showing the following: There is a positive integer $g$ and a set $W$, which is the union of $\lceil 2\alpha g-1\rceil$ arithmetic sequences [We call a set of the form $a+d\mathbb{N}$ an arithmetic sequence of difference $d$ and call a set of the form $\{a,a+d,a+2d,...,a+kd\}$ an arithmetic progression of difference $d$. So an arithmetic progression is finite and an arithmetic sequence...

In the paper sufficient conditions for the $\left(R\right)$-density of a set of positive integers in terms of logarithmic densities are given. They differ substantially from those derived previously in terms of asymptotic densities.

Let $M$ be a given nonempty set of positive integers and $S$ any set of nonnegative integers. Let $\overline{\delta }\left(S\right)$ denote the upper asymptotic density of $S$. We consider the problem of finding $$\mu \left(M\right):=\underset{S}{sup}\overline{\delta }\left(S\right),$$ where the supremum is taken over all sets $S$ satisfying that for each $a,b\in S$, $a-b\notin M.$ In this paper we discuss the values and bounds of $\mu \left(M\right)$ where $M=\{a,b,a+nb\}$ for all even integers and for all sufficiently large odd integers $n$ with $a<b$ and $gcd(a,b)=1.$

In 1988 the first author and J. A. Guthrie published a theorem which characterizes the topological structure of the set of subsums of an infinite series. In 1998, while attempting to generalize this result, the second author noticed the proof of the original theorem was not complete and perhaps not correct. The present paper presents a complete and correct proof of this theorem.

Let $\mathbb{P}=\{p_1,p_2,\cdots ,p_i,\cdots \}$ be the set of prime numbers (or more generally a set of pairwise co-prime elements). Let us denote $A_p^{a,b}=\{p^{an+b}m\mid n\in \mathbb{N}\cup \left\{0\right\};m\in \mathbb{N},p\mathrm{does}\mathrm{not}\mathrm{divide}m\}$, where $a\in \mathbb{N},b\in \mathbb{N}\cup \left\{0\right\}$. Then for arbitrary finite set $B$, $B\subset \mathbb{P}$ holds $$d\left(\bigcap _{p_i\in B}{A}_{p_i}^{a_i,b_i}\right)=\prod _{p_i\in B}d\left(A_{p_i}^{a_i,b_i}\right),$$ and $$d\left(A_{p_i}^{a_i,b_i}\right)=\frac{\frac{1}{p_i^{b_i}}\left(1-\frac{1}{p_i}\right)}{1-\frac{1}{p_i^{a_i}}}.$$ If we denote $$A=\left\{\frac{\frac{1}{p^b}\left(1-\frac{1}{p}\right)}{1-\frac{1}{p^a}}\mid p\in \mathbb{P},a\in \mathbb{N},b\in \mathbb{N}\cup \left\{0\right\}\right\},$$ where $\mathbb{P}$ is the set of all prime numbers, then for closure of set $A$ holds $$\mathrm{cl}A=A\cup B\cup \{0,1\},$$ where $B=\left\{\frac{1}{p^b}\left(1-\frac{1}{p}\right)\mid p\in \mathbb{P},b\in \mathbb{N}\cup \left\{0\right\}\right\}$.