Skip to main content

All Questions

Filter by
Sorted by
Tagged with
3 votes
1 answer
78 views

How irregular can the set of points of non-differentiability for an L1 function's primitive F get, before the FTC fails?

A Fundamental Theorem of Calculus for Lebesgue Integration, J. J. Koliha begins with the passage Lebesgue proved a number of remarkable results on the relation between integration and differentiation....
D.R.'s user avatar
  • 831
7 votes
2 answers
397 views

Natural $\Pi^1_2$ (or worse) classes of structures?

(To clarify, my interest is mainly lightface, that is, $\Pi^1_2$ instead of $\bf \Pi^1_2$, although it doesn't particularly matter.) This is just an idle curiosity. In logic, I find myself frequently ...
Noah Schweber's user avatar