Comments: 34 pages. v2 incorporates a correction of the proof of Lemma 3.1, resulting in minor changes to results in Section 2 and an additional lemma in the appendix
Assume the Generalised Riemann Hypothesis. If $A\subseteq \{1,...,N\}$ contains no two elements differing by $p+1$, $p$ prime, then $|A|\ll N^{\frac{89}{90} + o(1)}$.