A remark on the Debs-Saint-Raymond theorem (Q2750869)

The following theorem was proven by \textit{G. Debs} and \textit{J. Saint Raymond} [Ann. Inst. Fourier 37, 217-239 (1987; Zbl 0618.42004)]. Let \(E\) be a compact metric space and let \({\mathcal J}\subset{\mathcal K}(E)\) be a \(\Pi^1_1\) \(\sigma\)-ideal satisfying: (i) \(\mathcal J\) is locally non-Borel; (ii) \(\mathcal J\) is calibrated; (iii) \(\mathcal J\) has a Borel basis. Then \(\mathcal J\) has the covering property. In this paper the author gives an example of a \(\Pi^1_1\) \(\sigma\)-ideal \({\mathcal J}\subset {\mathcal K}(2^{\mathbf N}\times 2^{\mathbf N})\) such that: (i) \(\mathcal J\) is locally non-Borel; (ii) \(\mathcal J\) has the covering property; (iii) \(\mathcal J\) has no Borel basis. Thus the assumption (iii) in Debs-Saint-Raimond's Theorem is not necessary. This partially answers a question posed by \textit{A. S. Kechris} [Logic Colloquium '88, Stud. Logic Found. Math. 127, 117-138 (1989; Zbl 0683.03028)].