We identify the locally finite graphs that are quantifier-eliminable and their first order theories in the signature of distance predicates.
Decomposing Ends of Locally Finite Graphs
โ Scribed by Heinz Adolf Jung; Peter Niemeyer
- Publisher
- John Wiley and Sons
- Year
- 1995
- Tongue
- English
- Weight
- 905 KB
- Volume
- 174
- Category
- Article
- ISSN
- 0025-584X
No coin nor oath required. For personal study only.
โฆ Synopsis
An important invariant of translations of infinite locally finite graphs is that of a direction as introduced by HALIN. This invariant gives not much information if the translation is not a proper one. A new refined concept of directions is investigated.
A double ray D of a graph X is said to be metric, if the distance metrics in D and X on V ( D ) are equivalent. It is called geodesic, if these metrics are equal. The translations leaving some metric double ray invariant are characterized. Using a result of POLAT and WATKINS, we characterize the translations leaving some geodesic double ray invariant. ') Work of the second author was supported by the Deutsche Forschungsgemeinschaft grant We 126512-1.
๐ SIMILAR VOLUMES
An \((m, n)\)-separator of an infinite graph \(\Gamma\) is a smallest finite set of vertices whose deletion leaves at least \(m\) finite components and at least \(n\) infinite components. It is shown that a vertex of \(\Gamma\) of finite valence belongs to only finitely many \((0,2)\)-separators. Va
The automorphism-group of an infinite graph acts in a natural way on the set of d-fibers (components of the set of rays with respect to the Hausdorff metric). For connected, locally finite, almost transitive graphs the kernel of this action is proved to be the group of bounded automorphisms. This co