Carl Mummert

16 papers Journal 13Unranked 1
YearRankTypeTitle / Venue / Authors
2023 J jnl
Banach's theorem in higher-order reverse mathematics.
Comput.
Jeffry L. Hirst, Carl Mummert
2022 — book
Reverse Mathematics - In cooperation with the association Computability in Europe
Damir D. Dzhafarov, Carl Mummert
2019 J jnl
Using Ramsey's theorem once.
Arch. Math. Log.
Jeffry L. Hirst, Carl Mummert
2018 J jnl
On erasure combinatorial batch codes.
Adv. Math. Commun.
JiYoon Jung, Carl Mummert, Elizabeth M. Niese, Michael Schroeder
2017 — conf
Reverse Mathematics of Matroids.
Computability and Complexity
Jeffry L. Hirst, Carl Mummert
2015 J jnl
On the existence of a connected component of a graph.
Comput.
Kirill Gura, Jeffry L. Hirst, Carl Mummert
2015 J jnl
The modal logic of Reverse Mathematics.
Arch. Math. Log.
Carl Mummert, Alaeddine Saadaoui, Sean Sovine
2014 J jnl
The modal logic of Reverse Mathematics.
CoRR
Carl Mummert, Alaeddine Saadaoui, Sean Sovine
2012 J jnl
Reverse mathematics and properties of finite character.
Ann. Pure Appl. Log.
Damir D. Dzhafarov, Carl Mummert
2011 J jnl
Reverse Mathematics and Uniformity in Proofs without Excluded Middle.
Notre Dame J. Formal Log.
Jeffry L. Hirst, Carl Mummert
2008 J jnl
Subsystems of second-order arithmetic between RCA
Arch. Math. Log.
Carl Mummert
2007 — book
Finite Fields and Applications.
Gary L. Mullen, Carl Mummert
2006 J jnl
Filters on Computable Posets.
Notre Dame J. Formal Log.
Steffen Lempp, Carl Mummert
2006 J jnl
Reverse Mathematics of MF Spaces.
J. Math. Log.
Carl Mummert
2005 J jnl
Reverse mathematics and pi
Bull. Symb. Log.
Carl Mummert, Stephen G. Simpson
2004 J jnl
An incompleteness theorem for gamma
J. Symb. Log.
Carl Mummert, Stephen G. Simpson