4 citations · 4 across the 11 of their papers we have counts for
5 papers · 1 filter
Logical Metatheorems for Abstract Spaces axiomatized in Positive Bounded Logic II: Metric spaces and the model-theoretic uniformity principle
Ulrich Kohlenbach, Morenikeji Neri, Jin Wei
We extend the proof-theoretic treatment of uniform bound extraction from normed structures axiomatized in positive bounded logic [Advances in Mathematics, 290:503-551, 2016] (as de…
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…
A finitary Kronecker's lemma and large deviations in the Strong Law of Large numbers on Banach spaces
Morenikeji Neri
We explore the computational content of Kronecker's lemma via the proof-theoretic perspective of proof mining and utilise the resulting finitary variant of this fundamental result…
Proof mining and probability theory
Morenikeji Neri, Nicholas Pischke
We extend the theoretical framework of proof mining by establishing general logical metatheorems that allow for the extraction of the computational content of theorems with prima f…
A computational study of a class of recursive inequalities
Morenikeji Neri, Thomas Powell
We examine the convergence properties of sequences of nonnegative real numbers that satisfy a particular class of recursive inequalities, from the perspective of proof theory and c…