Prefer a chat interface with context about you and your work?
On Constructive Convergence of Measures on the Real Line
This is a discussion how Levy's Continuity Theorem can be proved without idealistic compactness arguments, and how it can then be used to give constructive proofs to some limit theorems.