[Q.] Is there a semicontinuous function, which has its discontinuous set with non-zero measure?
Remark: Given a semicontinuous function, the set of all discontinuous points may be uncountable, for instance, an indicator function on a Cantor set.
I also found a paper here with its title: "Baire order of functions are continuous almost everywhere", see this link:
http://www.ams.org/journals/proc/1975-051-02/S0002-9939-1975-0372128-1/S0002-9939-1975-0372128-1.pdf
I do not understand this paper, but does it say all semicontinuous functions are continuous almost everywhere, since it is baire-1 function?