Carl Mummert

MaRDI QIDQ375888zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Banach’s theorem in higher-order reverse mathematics Computability	2023-11-30	Paper
Reverse Mathematics Theory and Applications of Computability	2022-08-11	Paper
The logical strength of K\"onig's edge coloring theorem	2020-08-28	Paper
Using Ramsey's theorem once Archive for Mathematical Logic	2019-09-19	Paper
Reverse Mathematics Notices of the American Mathematical Society	2018-12-06	Paper
Reverse mathematics of matroids Computability and Complexity	2017-04-04	Paper
On the existence of a connected component of a graph Computability	2015-10-20	Paper
The modal logic of reverse mathematics Archive for Mathematical Logic	2015-04-14	Paper
The number of mates of Latin squares of sizes 7 and 8	2014-04-02	Paper
On the strength of the finite intersection principle Israel Journal of Mathematics	2013-11-01	Paper
Reverse mathematics and properties of finite character Annals of Pure and Applied Logic	2012-07-11	Paper
Reverse mathematics and uniformity in proofs without excluded middle Notre Dame Journal of Formal Logic	2011-06-03	Paper
Reverse mathematics and equivalents of the axiom of choice	2010-09-16	Paper
Topological aspects of poset spaces Michigan Mathematical Journal	2010-06-17	Paper
Stationary and convergent strategies in Choquet games Fundamenta Mathematicae	2010-06-11	Paper
Subsystems of second-order arithmetic between \(\text{RCA}_{0}\) and \(\text{WKL}_{0}\) Archive for Mathematical Logic	2008-08-18	Paper
Finite fields and applications	2007-12-12	Paper
Filters on computable posets Notre Dame Journal of Formal Logic	2007-08-01	Paper
REVERSE MATHEMATICS OF MF SPACES Journal of Mathematical Logic	2007-06-05	Paper
Reverse Mathematics and Π¹₂ Comprehension The Bulletin of Symbolic Logic	2006-06-12	Paper
An incompleteness theorem for β_n-models Journal of Symbolic Logic	2005-08-29	Paper

Research outcomes over time

This page was built for person: Carl Mummert