3 citations · 4 across the 5 of their papers we have counts for
4 papers · 1 filter
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…
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…
The reverse mathematics of Cousin's lemma
Jordan Mitchell Barrett
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…
On functor-quotients and their isomorphism theorems
Jordan Mitchell Barrett, Valentino Vito
The notion of a categorical quotient can be generalized since its standard categorical concept does not recover the expected quotients in certain categories. We present a more gene…