Carl Mummert

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 4

Top Topics

Mathematics Education

Strongly Connected Components

Prime Implicates

Top Venues

Arch. Math. Log.

Computability and Complexity

Publications

Jeffry L. Hirst, Carl Mummert
Banach's theorem in higher-order reverse mathematics. Comput. 12 (3) (2023)
Jeffry L. Hirst, Carl Mummert
Using Ramsey's theorem once. Arch. Math. Log. 58 (7-8) (2019)
JiYoon Jung, Carl Mummert, Elizabeth M. Niese, Michael Schroeder
On erasure combinatorial batch codes. Adv. Math. Commun. 12 (1) (2018)
Jeffry L. Hirst, Carl Mummert
Reverse Mathematics of Matroids. Computability and Complexity (2017)
Carl Mummert, Alaeddine Saadaoui, Sean Sovine
The modal logic of Reverse Mathematics. Arch. Math. Log. 54 (3-4) (2015)
Kirill Gura, Jeffry L. Hirst, Carl Mummert
On the existence of a connected component of a graph. Comput. 4 (2) (2015)
Carl Mummert, Alaeddine Saadaoui, Sean Sovine
The modal logic of Reverse Mathematics. CoRR (2014)
Damir D. Dzhafarov, Carl Mummert
Reverse mathematics and properties of finite character. Ann. Pure Appl. Log. 163 (9) (2012)
Jeffry L. Hirst, Carl Mummert
Reverse Mathematics and Uniformity in Proofs without Excluded Middle. Notre Dame J. Formal Log. 52 (2) (2011)
Carl Mummert
. Arch. Math. Log. 47 (3) (2008)
Carl Mummert
Reverse Mathematics of MF Spaces. J. Math. Log. 6 (2) (2006)
Steffen Lempp, Carl Mummert
Filters on Computable Posets. Notre Dame J. Formal Log. 47 (4) (2006)
Carl Mummert, Stephen G. Simpson
comprehension. Bull. Symb. Log. 11 (4) (2005)
Carl Mummert, Stephen G. Simpson
-models. J. Symb. Log. 69 (2) (2004)