Model theory of R-trees
DOI10.4115/jla.2020.12.3zbMath1485.03138arXiv1810.00242OpenAlexW2893707817MaRDI QIDQ5145847
C. Ward Henson, Sylvia Carlisle
Publication date: 22 January 2021
Published in: Journal of Logic and Analysis (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1810.00242
stabilitymodel theorycategoricitycontinuous logicmetric structuresmodel completion\(\mathbb{R}\)-treesreal-valued structures
Trees (05C05) Model-theoretic algebra (03C60) Metric spaces, metrizability (54E35) Topological spaces of dimension (leq 1); curves, dendrites (54F50) Hyperbolic groups and nonpositively curved groups (20F67) Models of other mathematical theories (03C65) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (2)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Model-theoretic independence in the Banach lattices \(L_{p}(\mu)\)
- Gromov's theorem on groups of polynomial growth and elementary logic
- Continuous first order logic and local stability
- EXPLICIT CONSTRUCTIONS OF UNIVERSAL ℝ-TREES AND ASYMPTOTIC GEOMETRY OF HYPERBOLIC SPACES
- On d-finiteness in continuous structures
- Modular functionals and perturbations of Nakano spaces
- The structure of hyperbolic spaces at infinity
- QUASI-ISOMETRY INVARIANTS AND ASYMPTOTIC CONES
- Model theory and metric convergence I: Metastability and dominated convergence
- CONTINUOUS FIRST ORDER LOGIC FOR UNBOUNDED METRIC STRUCTURES
This page was built for publication: Model theory of R-trees