Carl Mummert - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 15 from 15

2023

Banach's theorem in higher-order reverse mathematicsJeffry L. Hirst, Carl Mummert. computability, 12(3):203-225, 2023. [doi]

2022

Reverse Mathematics - In cooperation with the association Computability in EuropeDamir D. Dzhafarov, Carl Mummert. Springer, 2022. [doi]

2019

Using Ramsey's theorem onceJeffry L. Hirst, Carl Mummert. AML, 58(7-8):857-866, 2019. [doi]

2018

On erasure combinatorial batch codesJiyoon Jung, Carl Mummert, Elizabeth M. Niese, Michael Schroeder. amco, 12(1):49-65, 2018. [doi]

2017

Reverse Mathematics of MatroidsJeffry L. Hirst, Carl Mummert. BIRTHDAY 2017: 143-159 [doi]

2015

On the existence of a connected component of a graphKirill Gura, Jeffry L. Hirst, Carl Mummert. computability, 4(2):103-117, 2015. [doi]

The modal logic of Reverse MathematicsCarl Mummert, Alaeddine Saadaoui, Sean Sovine. AML, 54(3-4):425-437, 2015. [doi]

2012

Reverse mathematics and properties of finite characterDamir D. Dzhafarov, Carl Mummert. APAL, 163(9):1243-1251, 2012. [doi]

2011

Reverse Mathematics and Uniformity in Proofs without Excluded MiddleJeffry L. Hirst, Carl Mummert. ndjfl, 52(2):149-162, 2011. [doi]

2008

Subsystems of second-order arithmetic between RCA::0:: and WKL::0::Carl Mummert. AML, 47(3):205-210, 2008. [doi]

2007

Finite Fields and ApplicationsGary L. Mullen, Carl Mummert. Volume 41 of Student mathematical library, American Mathematical Society, 2007. [doi]

2006

Filters on Computable PosetsSteffen Lempp, Carl Mummert. ndjfl, 47(4):479-485, 2006. [doi]

Reverse Mathematics of MF SpacesCarl Mummert. jml, 6(2), 2006. [doi]

2005

Reverse mathematics and pi:::1:::::2:: comprehensionCarl Mummert, Stephen G. Simpson. bsl, 11(4):526-533, 2005. [doi]

2004

An incompleteness theorem for gamma::n::-modelsCarl Mummert, Stephen G. Simpson. JSYML, 69(2):612-616, 2004. [doi]

Sign in or sign up to see more results.

runs on WebDSL