Carl Mummert

Available identifiers

Publication	Date of Publication	Type
Banach’s theorem in higher-order reverse mathematics	2023-11-30	Paper
Reverse Mathematics	2022-08-11	Paper
The logical strength of K\"onig's edge coloring theorem	2020-08-28	Paper
Using Ramsey's theorem once	2019-09-19	Paper
Reverse Mathematics	2018-12-06	Paper
Reverse Mathematics of Matroids	2017-04-04	Paper
On the existence of a connected component of a graph	2015-10-20	Paper
The modal logic of reverse mathematics	2015-04-14	Paper
https://portal.mardi4nfdi.de/entity/Q5405484	2014-04-02	Paper
On the strength of the finite intersection principle	2013-11-01	Paper
Reverse mathematics and properties of finite character	2012-07-11	Paper
Reverse mathematics and uniformity in proofs without excluded middle	2011-06-03	Paper
Reverse mathematics and equivalents of the axiom of choice	2010-09-16	Paper
Topological aspects of poset spaces	2010-06-17	Paper
Stationary and convergent strategies in Choquet games	2010-06-11	Paper
Subsystems of second-order arithmetic between \(\text{RCA}_{0}\) and \(\text{WKL}_{0}\)	2008-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q5430106	2007-12-12	Paper
Filters on computable posets	2007-08-01	Paper
REVERSE MATHEMATICS OF MF SPACES	2007-06-05	Paper
Reverse Mathematics and Π¹₂ Comprehension	2006-06-12	Paper
An incompleteness theorem for β_n-models	2005-08-29	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Carl Mummert