Baire Category Lower Density Operators with Borel Values

Marek Balcerzak, Jacek Hejduk, Artur Wachowicz

We prove that the lower density operator associated with the Baire category density points in the real line has Borel values of class ${\Pi }_3^0$ which is analogous to the measure…