3 citations · 3 across the 1 of their papers we have counts for
1 paper
Sylvia Carlisle, C Ward Henson
We show the theory of pointed R-trees with radius at most r is axiomatizable in a suitable continuous signature. We identify the model companion $\rbRT_r$ of this theory and s…