Carl Mummert

According to our database, Carl Mummert authored at least 15 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Banach's theorem in higher-order reverse mathematics.

Jeffry L. Hirst, Carl Mummert

Comput., 2023

2022

Reverse Mathematics - In cooperation with the association Computability in Europe

Damir D. Dzhafarov, Carl Mummert

Springer, ISBN: 978-3-031-11366-6, 2022

2019

Using Ramsey's theorem once.

Jeffry L. Hirst, Carl Mummert

Arch. Math. Log., 2019

2018

On erasure combinatorial batch codes.

JiYoon Jung, Carl Mummert, Elizabeth M. Niese, Michael Schroeder

Adv. Math. Commun., 2018

2017

Reverse Mathematics of Matroids.

Jeffry L. Hirst, Carl Mummert

Proceedings of the Computability and Complexity, 2017

2015

On the existence of a connected component of a graph.

Kirill Gura, Jeffry L. Hirst, Carl Mummert

Comput., 2015

The modal logic of Reverse Mathematics.

Carl Mummert, Alaeddine Saadaoui, Sean Sovine

Arch. Math. Log., 2015

2012

Reverse mathematics and properties of finite character.

Damir D. Dzhafarov, Carl Mummert

Ann. Pure Appl. Log., 2012

2011

Reverse Mathematics and Uniformity in Proofs without Excluded Middle.

Jeffry L. Hirst, Carl Mummert

Notre Dame J. Formal Log., 2011

2008

Subsystems of second-order arithmetic between RCA₀ and WKL₀.

Carl Mummert

Arch. Math. Log., 2008

2007

Finite Fields and Applications.

Gary L. Mullen, Carl Mummert

Student mathematical library 41, American Mathematical Society, ISBN: 978-0-8218-4418-2, 2007

2006

Filters on Computable Posets.

Steffen Lempp, Carl Mummert

Notre Dame J. Formal Log., 2006

Reverse Mathematics of MF Spaces.

Carl Mummert

J. Math. Log., 2006

2005

Reverse mathematics and pi¹₂ comprehension.

Carl Mummert, Stephen G. Simpson

Bull. Symb. Log., 2005

2004

An incompleteness theorem for gamma_n-models.

Carl Mummert, Stephen G. Simpson

J. Symb. Log., 2004