We identify the locally finite graphs that are quantifier-eliminable and their first order theories in the signature of distance predicates.
Finite Separating Sets in Locally Finite Graphs
β Scribed by H.A. Jung; M.E. Watkins
- Publisher
- Elsevier Science
- Year
- 1993
- Tongue
- English
- Weight
- 386 KB
- Volume
- 59
- Category
- Article
- ISSN
- 0095-8956
No coin nor oath required. For personal study only.
β¦ Synopsis
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. Various results concerning the interrelation of ((m, n))-separators (especially ((0,2))-separators) are obtained for locally finite graphs. Particular attention is given in the case that (\Gamma) is vertex-transitive or edge-transitive. Co 1993 Academic Press. Inc.
π SIMILAR VOLUMES
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
We prove that for C a finite set of cycles, there is a universal C-free graph if and only if C consists precisely of all the odd cycles of order less than same specified bound.
## Abstract The topological approach to the study of infinite graphs of Diestel and KΓhn has enabled several results on Hamilton cycles in finite graphs to be extended to locally finite graphs. We consider the result that the line graph of a finite 4βedgeβconnected graph is hamiltonian. We prove a
The main result of the paper is the following theorem. Let G be a locally finite group containing a finite p-subgroup A such that C G A is finite and a non-cyclic subgroup B of order p 2 such that C G b has finite exponent for all b β B # . Then G is almost locally solvable and has finite exponent.
## Abstract By a result of Gallai, every finite graph __G__ has a vertex partition into two parts each inducing an element of its cycle space. This fails for infinite graphs if, as usual, the cycle space is defined as the span of the edge sets of finite cycles in __G__. However, we show that, for t