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

zbMATH Keywords

stabilitymodel theorycategoricitycontinuous logicmetric structuresmodel completion\(\mathbb{R}\)-treesreal-valued structures

Mathematics Subject Classification ID

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)

Unbounded actions of metric groups and continuous logic ⋮ Approximate isomorphism of metric structures

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