The following pages link to Carl Mummert (Q375888):
Displaying 21 items.
- On the strength of the finite intersection principle (Q375889) (← links)
- Menger's theorem in \(\Pi^1_1 \mathrm {-CA}_0\) (Q412061) (← links)
- Reverse mathematics and properties of finite character (Q435197) (← links)
- Reverse mathematics and uniformity in proofs without excluded middle (Q540402) (← links)
- Classical predicative logic-enriched type theories (Q636367) (← links)
- Subsystems of second-order arithmetic between \(\text{RCA}_{0}\) and \(\text{WKL}_{0}\) (Q938231) (← links)
- Topological aspects of poset spaces (Q977107) (← links)
- Using Ramsey's theorem once (Q2274133) (← links)
- The modal logic of reverse mathematics (Q2339962) (← links)
- Filters on computable posets (Q2372682) (← links)
- Reverse Mathematics of Matroids (Q2970956) (← links)
- On the existence of a connected component of a graph (Q3195646) (← links)
- REVERSE MATHEMATICS OF MF SPACES (Q3444857) (← links)
- Stationary and convergent strategies in Choquet games (Q3568396) (← links)
- Reverse Mathematics (Q4561521) (← links)
- Reverse Mathematics (Q5095937) (← links)
- An incompleteness theorem for <i>β</i><sub><i>n</i></sub>-models (Q5311743) (← links)
- (Q5405484) (← links)
- (Q5430106) (← links)
- Reverse Mathematics and Π<sup>1</sup><sub>2</sub> Comprehension (Q5472644) (← links)
- Banach’s theorem in higher-order reverse mathematics (Q6062174) (← links)
