BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Emma Gruner (Penn State University)
DTSTART:20250904T180000Z
DTEND:20250904T190000Z
DTSTAMP:20260423T052839Z
UID:OLS/180
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/OLS/180/">A 
 Baire Category Approach to Besicovitch's Theorem</a>\nby Emma Gruner (Penn
  State University) as part of Online logic seminar\n\n\nAbstract\nOne of t
 he fundamental results from geometric measure theory is Besicovitch's theo
 rem from 1952\, which states that any closed subset of Euclidean space hav
 ing infinite Hausdorff measure contains a compact subset with positive fin
 ite Hausdorff measure. However\, the computatibility theoretic and reverse
  mathematical complexity of this result have not been extensively studied.
  In this talk\, we will introduce a variant of the Baire Category Theorem\
 , and show how we can reframe Besicovitch's original proof through that le
 ns. This approach not only confirms that the theorem is provable in $\\tex
 t{ACA}_0$\, but demonstrates how a witnessing subset can be computed from 
 just one jump of the original set.\n
LOCATION:https://researchseminars.org/talk/OLS/180/
END:VEVENT
END:VCALENDAR