Prefer a chat interface with context about you and your work?
Model theory of R-trees
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 study its properties. In particular, the model companion is complete and has quantifier elimination; it is stable but not superstable. We …