2 citations · 4 across the 8 of their papers we have counts for
1 paper · 1 filter
G Conant, C Terry
We prove function-theoretic analogues of a quantitative result of Hodges on extracting the order property from a sufficiently large 2-tree coded in a binary relation. Similar analo…