The Consistency of the $\bf{\Sigma^1_3}$-Separation Property

Abstract

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.