4
$\begingroup$

Usually, it is quite easy (if cumbersome) to translate a formula like "if $\varepsilon$ is infinitesimal, and if $f$ is differentiable at $a$, $f'(a)$ is the shadow of $\frac{f(a+\varepsilon)-f(a)}{\varepsilon}$". But I cannot find a standard translation of the conjecture :"There exists a galaxy of non-standard integers containing an infinite number of primes", where galaxies are the equivalence classes of $\mathbb N$ by the relation $m\simeq n \iff (m-n)$ is standard. The closest I can find is the k-tuple conjecture (the first of the Hardy-Littlewood conjectures), but it seems obvious this is quite stronger than mine.

$\endgroup$

3 Answers 3

1
$\begingroup$

How about this ...

Let's say a finite set $V \subseteq \mathbb N$ is a Feldmann set iff there are infinitely many $n$ such that for all $u \in V$, $n+u$ is prime.

For example, $\{0,2\}$ is a Feldmann set iff there are infinitely many twin primes.

Your equivalent statment: there are arbitrarily large Feldmann sets.

$\endgroup$
3
  • $\begingroup$ what if their are arbitrarily large Feldmann sets, but the size is bounded above by some function of the size of the smallest element? $\endgroup$
    – Will Sawin
    Jan 23, 2013 at 22:10
  • $\begingroup$ Any translate of a Feldmann set is a Feldmann set... $\endgroup$ Jan 24, 2013 at 2:26
  • $\begingroup$ What about the second-smallest element? $\endgroup$
    – Will Sawin
    Jan 24, 2013 at 5:56
1
$\begingroup$

There exists a sequence of numbers $a_i$, such that, for all $k$, there are infinitely many $n$ such that, for all $i$ between $1$ and $k$, $a_i+n$ is prime.

Proof this implies a galaxy: For each number $k$, choose an $n$ such that for all $i$ between $1$ and $k$, $a_i+n$ is prime, and has not been chosen before, then choose a non-principal ultrafilter on this sequence.

Proof of converse: Choose an element of your galaxy, and let $a_i$ be the differences between primes in the galaxy and that fixed element. Then the set of $n$ such that, for all $i$ between $1$ and $k$, $a_i+n$ is prime has a nonstandard element, so is infinite.

$\endgroup$
1
$\begingroup$

This is more of a comment on the answers of Will Sawin and Gerald Edgar.

Let $P$ be the set of prime numbers, and given some $s\in {\mathbb N}$, let $P-s =\{ n\in {\mathbb N} \colon s+n\in P\}$.

If I have parsed their answers correctly, the negation of the standard translation should be: whenever $a_i$ is an (increasing?) sequence of numbers, there exists some $k$ such that $(P-a_1)\cap \dots \cap (P-a_k)$ is finite. This is precisely the assertion that the set $P$ is translation finite in the sense of my old MO question.

Hence the standard translation would seem to be phraseable as "the set $P$ is not translation-finite".

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.