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 identify its independence relation and find built-in canonical bases for non-algebraic types. Among the models of $\rbRT_r$ are $\R$-trees that arise naturally in geometric group theory. In every infinite cardinal, we construct the maximum possible number of pairwise non-isomorphic models of $\rbRT_r$; indeed, the models we construct are pairwise non-homeomorphic. We give detailed information about the type spaces of $\rbRT_r$. Among other things, we show that the space of $2$-types over the empty set is nonseparable. Also, we characterize the principal types of finite tuples (over the empty set) and use this information to conclude that $\rbRT_r$ has no atomic model.

[1]  C. Ward Henson,et al.  Model-theoretic independence in the banach lattices Lp(µ) , 2009, 0907.5273.

[2]  Alexander Usvyatsov,et al.  On d-finiteness in continuous structures , 2007 .

[3]  Cornelia Drutu.  Quasi-Isometry Invariants and Asymptotic Cones , 2002, Int. J. Algebra Comput..

[4]  J. Nikiel,et al.  Universal Spaces for R-Trees , 1992 .

[5]  Ian Chiswell,et al.  Introduction to λ-trees , 2001 .

[6]  C. Ward Henson,et al.  Model Theory with Applications to Algebra and Analysis: Model theory for metric structures , 2008 .

[7]  Sebastian Ehrlichmann,et al.  Metric Spaces Of Non Positive Curvature , 2016 .

[8]  Itay Ben-Yaacov,et al.  Continuous First order Logic for Unbounded Metric Structures , 2008, J. Math. Log..

[9]  Alexander Usvyatsov,et al.  CONTINUOUS FIRST ORDER LOGIC AND LOCAL STABILITY , 2008, 0801.4303.

[10]  Iosif Polterovich,et al.  Explicit constructions of universal R-trees and asymptotic geometry of hyperbolic spaces , 1999 .

[11]  John Roe,et al.  Lectures on coarse geometry , 2003 .

[12]  Alex Wilkie,et al.  Gromov's theorem on groups of polynomial growth and elementary logic , 1984 .

[13]  Itay Ben-Yaacov.  Modular functionals and perturbations of Nakano spaces , 2009, J. Log. Anal..

[14]  Jos'e N. Iovino,et al.  Model theory and metric convergence I: Metastability and dominated convergence , 2016, 1611.09971.

[15]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[16]  Graham A. Niblo.  METRIC SPACES OF NON‐POSITIVE CURVATURE (Grundlehren der Mathematischen Wissenschaften 319) , 2001 .