Problem of the existence of nonborel \(AF_{\|}\)-sets (Q1071762)

Let \(F_{\|}\) denote the following property of a subset X of a metric space: there is no subset Y of X which is closed in X and of first category in itself. Of course every absolute G set has the property \(F_{\|}.\) It is known (Gurevič) that an absolute separable complementary analytic set has the property \(F_{\|}\) if and only if it is an absolute \(G_{\delta}\). The author shows that the analogue of this theorem for absolute analytic sets is independent of ZFC. In fact he proves that the existence of a separable absolute analytic set having \(F_{\|}\) and not being \(G_{\delta}\) is equivalent to the existence of an uncountable CA-set without perfect subsets (in the Baire space of the irrationals). By a well known result of Solovay the last property is independent of ZFC. In addition both above properties are equivalent to the following: there is a non-Borel CA set E included in the irrationals such that each of its Borel subsets has an \(F_{\sigma}\) neighbourhood U in E.