{"id":"arxiv/2604.08078","url":"https://arxiv.org/abs/2604.08078","tags":["math.LO"],"score":0,"title":"A systematic way of analysing proofs in probability theory","domain":"math.LO","source":"arxiv","authors":["Morenikeji Neri","Paulo Oliva","Nicholas Pischke"],"reviews":0,"subject":"math.LO","summary":"Over extended systems of finite type arithmetic, we utilize a formal representation of the outer measure to define a translation which allows for the systematic formalization of probabilistic statements. As a main result, this translation gives rise to novel probabilistic logical metatheorems in the style of proof mining, guaranteeing the extractability of computable bounds from (non-effective) proofs of probabilistic existence statements. We further show how the set-theoretically false principle of uniform boundedness due to Kohlenbach can be used to replicate logically strong continuity…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-09","reactions":{}}