2 papers
math.LO2026
Algorithmic randomness in harmonic analysis
Johanna N. Y. Franklin, Lucas E. Rodriguez, Diego A. Rojas
Within the last fifteen years, a program of establishing relationships between algorithmic randomness and almost-everywhere theorems in analysis and ergodic theory has developed. I…
math.LO2025
Effective weak convergence and tightness of measures in computable Polish spaces
Diego A. Rojas
Prokhorov's Theorem in probability theory states that a family of probability measures on a Polish space is tight if and only if every sequence in has a weakly convergent…