MathDB
Miklós Schweitzer 1984- Problem 2

Source:

September 4, 2016
college contests

Problem Statement

2. Show that threre exist a compact set KRK \subset \mathbb{R} and a set ARA \subset \mathbb{R} of type FσF_{\sigma} such that the set
{xR:K+xA}\{ x\in \mathbb{R} : K+x \subset A\}
is not Borel-measurable (here K+x={y+x:yK}K+x = \{y+x : y \in K\}). (M.16) [M. Laczkovich]