2 papers
math.LO2026
On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category
Prajval Koul, Satyadev Nandakumar
The classical Banach-Mazur game characterizes sets of first category in a topological space. In this work, we show that an effectivized version of the game yields a characterizatio…
math.GM2026
On the Constructive Dimension Spectrum of Polynomials
Prajval Koul, Satyadev Nandakumar
Recently, Stull [18], [17] resolved a long-standing open problem posed by Lutz, on whether the set of effective Hausdorff dimensions of points on a straight line in …