activity
20142026
most citedFirst-order homotopical logic

1 citations · 1 across the 9 of their papers we have counts for

collaborators
Showing math.GRShow all

1 paper · 1 filter

math.GR2014

Counting cycles in labeled graphs: The nonpositive immersion property for one-relator groups

Joseph Helfer, Daniel T. Wise

We prove a rank 1 version of the Hanna Neumann Theorem. This shows that every one-relator 2-complex without torsion has the nonpositive immersion property. The proof generalizes to…