11 citations · 11 across the 1 of their papers we have counts for
1 paper
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…