14 citations · 60 across the 26 of their papers we have counts for
Showing 2017 · math.LOShow all
2 papers · 2 filters
math.LO2017
The transfinite mean
Andre Kornell
We define a generalization of the arithmetic mean to bounded transfinite sequences of real numbers. We show that every probability space admits a transfinite sequences of points su…
math.LO2017
On sequents of formulas
Andre Kornell
We investigate the position that foundational theories should be modelled on ordinary computability. In this context, we investigate the metamathematics of formulas. We conside…