activity
20182022
most citedOn Rado conditions for nonlinear Diophantine equations

11 citations · 16 across the 12 of their papers we have counts for

collaborators
Showing 2021Show all

2 papers · 1 filter

math.LO2021

Reverse mathematics of rings

Jordan Mitchell Barrett

Using the tools of reverse mathematics in second-order arithmetic, as developed by Friedman, Simpson, and others, we determine the axioms necessary to develop various topics in com…

math.LO2021

Cousin's lemma in second-order arithmetic

Jordan Mitchell Barrett, Rodney G. Downey, Noam Greenberg

Cousin's lemma is a compactness principle that naturally arises when studying the gauge integral, a generalisation of the Lebesgue integral. We study the axiomatic strength of Cous…