Abstract
We examine the computable content of three key objects in probability theory: the mixing measure in de Finetti's theorem, the Aldous-Hoover-Kallenberg representation of an exchangeable array, and the disintegration map used to form conditional distributions. Joint work with Nathanael Ackerman, Jeremy Avigad, Daniel Roy, and Jason Rute.