An incompleteness theorem for gamman-models. - Carl Mummert; Stephen G. Simpson (J. Symb. Log., 2004)

Reverse mathematics and pi12 comprehension. - Carl Mummert; Stephen G. Simpson (Bull. Symb. Log., 2005)

Reverse Mathematics of MF Spaces. - Carl Mummert (J. Math. Log., 2006)

Filters on Computable Posets. - Steffen Lempp; Carl Mummert (Notre Dame J. Formal Log., 2006)

Finite Fields and Applications. - Gary L. Mullen; Carl Mummert (American Mathematical Society, 2007)

Subsystems of second-order arithmetic between RCA0 and WKL0. - Carl Mummert (Arch. Math. Log., 2008)

Reverse Mathematics and Uniformity in Proofs without Excluded Middle. - Jeffry L. Hirst; Carl Mummert (Notre Dame J. Formal Log., 2011)

Reverse mathematics and properties of finite character. - Damir D. Dzhafarov; Carl Mummert (Ann. Pure Appl. Log., 2012)

The modal logic of Reverse Mathematics. - Carl Mummert; Alaeddine Saadaoui; Sean Sovine (Arch. Math. Log., 2015)

On the existence of a connected component of a graph. - Kirill Gura; Jeffry L. Hirst; Carl Mummert (Comput., 2015)

Reverse Mathematics of Matroids. - Jeffry L. Hirst; Carl Mummert (Computability and Complexity, 2017)

On erasure combinatorial batch codes. - JiYoon Jung; Carl Mummert; Elizabeth M. Niese; Michael Schroeder (Adv. Math. Commun., 2018)

Using Ramsey's theorem once. - Jeffry L. Hirst; Carl Mummert (Arch. Math. Log., 2019)

Reverse Mathematics - In cooperation with the association Computability in Europe - Damir D. Dzhafarov; Carl Mummert (Springer, 2022)

Banach's theorem in higher-order reverse mathematics. - Jeffry L. Hirst; Carl Mummert (Comput., 2023)