18 citations · 65 across the 11 of their papers we have counts for
Showing 2014 · math.LOShow all
2 papers · 2 filters
math.LO2014★ 11 cited
On the existence of a connected component of a graph
Kirill Gura, Jeffry L. Hirst, Carl Mummert
We study the reverse mathematics and computability of countable graph theory, obtaining the following results. The principle that every countable graph has a connected component is…
math.LO2014★ 1 cited
The modal logic of Reverse Mathematics
Carl Mummert, Alaeddine Saadaoui, Sean Sovine
The implication relationship between subsystems in Reverse Mathematics has an underlying logic, which can be used to deduce certain new Reverse Mathematics results from existing on…