149 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- University of PittsburghUS6 papers
- Appalachian State UniversityUS5 papers
- Max Planck Institute for Gravitational PhysicsDE5 papers
- University of British ColumbiaCA4 papers
- University of RajshahiBD4 papers
- West Virginia UniversityUS4 papers
- California Institute of TechnologyUS3 papers
- Purdue University West LafayetteUS3 papers
- Rochester Institute of TechnologyUS3 papers
- University of MinnesotaUS3 papers
- University of Notre DameUS3 papers
- University of Wisconsin–MadisonUS3 papers
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…