7 citations · 28 across the 26 of their papers we have counts for
Showing 2026 · math.LOShow all
2 papers · 2 filters
math.LO2026
Avoiding logical strength in real analysis
Anton Freund, Nicholas Pischke, Patrick Uftring
In reverse mathematics, real numbers are traditionally represented by Cauchy sequences with a given rate of convergence. We work without rates and speak of slow Cauchy sequences. I…
math.LO2026
A systematic way of analysing proofs in probability theory
Morenikeji Neri, Paulo Oliva, Nicholas Pischke
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 pr…