  We generically construct a model in which the $\bf{\Sigma^1_3}$-separation
property is true, i.e. every pair of disjoint $\bf{\Sigma^1_3}$-sets can be
separated by a $\bf{\Delta^1_3}$-definable set. This answers an old question
from the problem list $"$Surrealist landscape with figures$"$ by A. Mathias
from 1968. We also construct a model in which the (lightface)
$\Sigma^1_3$-separation property is true.
