 1-wconnected, we will say that $G^{1}$ is 1-[*wconnected*]{}.

Walk-Based Distances in a 1-Graph
=================================

The length $|W^{0}|$ of a 0-walk $W^{0}$ is defined as follows: If $W^{0}$ is two-ended, $|W^{0}|$ is the number $\tau_{0}$ of branch traversals in it; that is, each branch is counted as many times as it appears in $W^{0}$. If $W^{0}$ is one-ended and extended, we set $|W^{0}|=\omega$, the first transfinite ordinal. If $W^{0}$ is endless and extended in both directions, we set $|W^{0}|=\omega\cdot 2$.

As for a nontrivial two-ended 1-walk $W^{1}$, its length $|W^{1}|$ is taken to be $|W^{1}|=\sum_{k=0}^{m}|W_{k}^{0}|$, where the sum is over the finitely many 0-walks $W_{k}^{0}$ in (\[6.2\]). Thus, $$|W^{1}|\;=\;\omega\cdot \tau_{1}+\tau_{0}  \label{7.1}$$ where $\tau_{1}$ is the number of traversals of 0-tips performed by $W^{1}$ and $\tau_{0}$ is the number of traversals of branches in all the two-ended (i.e., finite) 0-walks appearing as terms in (\[6.2\]). We take $\sum_{k=0}^{m} |W^{0}_{k}|$ to be the natural sum of ordinals; this yields a normal expansion of an ordinal [@ab pages 354-355]. $\tau_{1}$ is not 0 because $W^{1}$ is a nontrivial, two-sided 1-walk. However, $\tau_{0}$ may be 0, this occurring when every $W_{k}^{0}$ in (\[6.2\]) is one-ended or endless.

A 0-node is called [*maximal*]{} if it is not contained in a 1-node, and [*nonmaximal*]{} otherwise. A distance measured from a nonmaximal 0-node is the same as that measured from the 1-node containing it. Given two nodes $x$ and $y$ (of ranks 0 or 1), we define
1 - wconnected, we will say that $ G^{1}$ is 1-[*wconnected * ] { }. 

 Walk - Based Distances in a 1 - Graph 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 The length $ |W^{0}|$ of a 0 - walk $ W^{0}$ is define as take after: If $ W^{0}$ is two - ended, $ |W^{0}|$ is the number $ \tau_{0}$ of branch traversal in it; that is, each branch is counted equally many times as it appears in $ W^{0}$. If $ W^{0}$ is one - ended and extend, we set $ |W^{0}|=\omega$, the first transfinite ordinal number. If $ W^{0}$ is endless and extended in both direction, we set $ |W^{0}|=\omega\cdot 2$. 

 As for a nontrivial two - ended 1 - walk $ W^{1}$, its length $ |W^{1}|$ is taken to be $ |W^{1}|=\sum_{k=0}^{m}|W_{k}^{0}|$, where the sum is over the finitely many 0 - walk $ W_{k}^{0}$ in (\[6.2\ ]). Thus, $ $ |W^{1}|\;=\;\omega\cdot \tau_{1}+\tau_{0 }   \label{7.1}$$ where $ \tau_{1}$ is the number of traversals of 0 - point performed by $ W^{1}$ and $ \tau_{0}$ is the number of traversals of branches in all the two - end (i.e., finite) 0 - walks appearing as terms in (\[6.2\ ]). We take $ \sum_{k=0}^{m } |W^{0}_{k}|$ to be the natural kernel of ordinals; this yields a normal expansion of an ordinal [ @ab pages 354 - 355 ]. $ \tau_{1}$ is not 0 because $ W^{1}$ is a nontrivial, two - sided 1 - walk. However, $ \tau_{0}$ may be 0, this occurring when every $ W_{k}^{0}$ in (\[6.2\ ]) is one - ended or endless. 

 A 0 - node is called [ * maximal * ] { } if it is not contained in a 1 - node, and [ * nonmaximal * ] { } otherwise. A distance measured from a nonmaximal 0 - node is the same as that measured from the 1 - node incorporate it. Given two nodes $ x$ and $ y$ (of rank and file 0 or 1), we specify
 1-wclnnected, we will say thau $G^{1}$ is 1-[*wconnected*]{}.

Cqlk-Basxd Distznces in a 1-Graph
=================================

The length $|W^{0}|$ of a 0-wapk $W^{0}$ is defined as follows: If $W^{0}$ is two-vnded, $|W^{0}|$ iw tht number $\tau_{0}$ of bcznch traversamd in mt; that is, each branch is counted as maty tnmes as it appears in $W^{0}$. If $W^{0}$ is one-egded anc fxtended, we sej $|W^{0}|=\omtga$, the first transfinite ordinal. If $W^{0}$ is endlesv and extendec in both directions, we seh $|W^{0}|=\olega\cdot 2$.

As for a jontrivial jso-egeed 1-walk $W^{1}$, igs length $|W^{1}|$ is taken tk be $|W^{1}|=\sum_{k=0}^{m}|W_{k}^{0}|$, where the sum is uver che finiteli jaji 0-walks $W_{k}^{0}$ ii (\[6.2\]). Thuf, $$|W^{1}|\;=\;\omega\cdot \tau_{1}+\tau_{0}  \label{7.1}$$ ehere $\tau_{1}$ is tme nukbee of traversals of 0-ti's performed by $W^{1}$ anq $\tau_{0}$ is dhz number of traversalw if brdnchas iv alu tge tso-endef (i.x., finite) 0-wamks appearibg as terms in (\[6.2\]). We uakq $\sum_{k=0}^{m} |W^{0}_{k}|$ to ge the nwtural sum of ordinals; this yields a nogmal expansion of an ordinao [@ab pages 354-355]. $\tau_{1}$ is noj 0 because $W^{1}$ is a nontrivial, two-sided 1-walk. However, $\tau_{0}$ may te 0, tiir oegmrrivt ahen every $W_{k}^{0}$ in (\[6.2\]) is one-ended or endless.

A 0-nodq ix balled [*maximal*]{} if it is not vojtsyned in a 1-nodg, and [*nonmzximal*]{} otherwise. A distanse meqsured frjm a nonmaximal 0-node is the samw as that mecsueed from the 1-node eontaining ic. Givem two nodes $x$ and $y$ (of ranks 0 or 1), we define
1-wconnected, we will say that $G^{1}$ is Distances a 1-Graph The length $|W^{0}|$ defined follows: If $W^{0}$ two-ended, $|W^{0}|$ is number $\tau_{0}$ of branch traversals in that is, each branch is counted as many times as it appears in If $W^{0}$ is one-ended and extended, we set $|W^{0}|=\omega$, the first transfinite ordinal. $W^{0}$ endless extended both directions, we set $|W^{0}|=\omega\cdot 2$. As for a nontrivial two-ended 1-walk $W^{1}$, its length $|W^{1}|$ taken to be $|W^{1}|=\sum_{k=0}^{m}|W_{k}^{0}|$, where the sum is the finitely many 0-walks in (\[6.2\]). Thus, $$|W^{1}|\;=\;\omega\cdot \tau_{1}+\tau_{0} where is the of of performed by $W^{1}$ $\tau_{0}$ is the number of traversals of branches in all the two-ended (i.e., finite) 0-walks appearing as in (\[6.2\]). $\sum_{k=0}^{m} |W^{0}_{k}|$ be natural of ordinals; this normal expansion of an ordinal [@ab is not 0 because $W^{1}$ is a nontrivial, 1-walk. However, may be 0, this occurring when $W_{k}^{0}$ in (\[6.2\]) is one-ended or endless. A is called [*maximal*]{} if it is not contained in a 1-node, and [*nonmaximal*]{} otherwise. A from a nonmaximal 0-node the same as measured the containing Given two $x$ and $y$ (of ranks 0 or 1), we define
 1-wconnected, we will say that $G^{1}$ iS 1-[*wconnecteD*]{}.

Walk-basEd DIsTancEs in A 1-Graph
=================================

The lengtH $|w^{0}|$ of a 0-Walk $W^{0}$ is defined as followS: If $W^{0}$ iS tWO-endED, $|W^{0}|$ Is the Number $\tAU_{0}$ oF BRanCh TrAveRsALs In it; tHat Is, each bRanch is couNteD aS many times as IT aPpears in $W^{0}$. IF $W^{0}$ iS one-ended and ExtEnded, wE sEt $|W^{0}|=\OMega$, tHe fIrst tRansfiNIte ordInal. If $W^{0}$ is EnDLess anD ExtendeD IN bOth dIrections, we set $|W^{0}|=\omEGa\CDot 2$.

As for a nontrIvial tWo-ENdED 1-WalK $W^{1}$, iTs length $|W^{1}|$ iS tAken tO Be $|W^{1}|=\sum_{k=0}^{M}|w_{k}^{0}|$, WHERe tHE sum is over the Finitely manY 0-WalKs $W_{k}^{0}$ in (\[6.2\]). thUs, $$|W^{1}|\;=\;\OMega\cdOt \tau_{1}+\TaU_{0}  \LabEl{7.1}$$ where $\tau_{1}$ iS the Number of tRaversALs of 0-tipS PerformEd by $W^{1}$ aNd $\tAu_{0}$ iS the NUmBeR of TrAVerSAlS of BRanChes in alL tHe Two-enDed (i.E., FINIte) 0-wAlkS appEarinG as terms in (\[6.2\]). We tAke $\Sum_{k=0}^{M} |w^{0}_{k}|$ tO be thE natuRal sUm Of ordInals; tHis yiElDs a normal expansIon oF an ordinaL [@ab PaGes 354-355]. $\TaU_{1}$ is noT 0 BecausE $W^{1}$ iS a nOntriviAl, two-siDEd 1-wAlK. hOWeVer, $\tau_{0}$ may be 0, this occUrRINg When everY $W_{k}^{0}$ in (\[6.2\]) iS OnE-eNDed or endLeSs.

A 0-Node IS CalleD [*maxIMaL*]{} if it is nOt contAInEd In a 1-node, AnD [*nonmaXiMal*]{} OthErwisE. a disTance mEasured fRom a nONmaximal 0-node is THe same as that mEAsUREd FRom tHe 1-nOde containiNg it. gIven Two nODeS $x$ aND $y$ (of rAnks 0 oR 1), wE DeFIne
 1-wconnected, we will say  that $G^{ 1}$ i s 1 -[* wc onne cted *]{}.

Walk-Ba s ed D istances in a 1-Graph===== == = ==== = == ===== ======= = == = = =
Th elen gt h  $ |W^{0 }|$  of a 0 -walk $W^{ 0}$  i s defined as fo llows: If$W^ {0}$ is two- end ed, $| W^ {0} | $ isthe  numb er $\t a u_{0}$  of branc ht ravers a ls in i t ;  t hatis, each branch i s  c o unted as manytimesas it a ppe ars  in $W^{0} $.  If $ W ^{0}$ i s  o n e - end e d and extende d, we set $ | W^{ 0}|=\o me ga$ ,  the f irsttr a nsf inite ordin al.If $W^{0} $ is e n dless a n d exten ded in  bo thdire c ti on s,we set $| W^{ 0 }|= \omega\c do t2$.
As f o r a  non tri vial  two- ended 1-walk$W^ {1}$ ,  it s len gth $ |W^{ 1} |$ is  taken  to b e$|W^{1}|=\sum_{ k=0} ^{m}|W_{k }^{ 0} |$,  w heret he sum  is  ov er thefinitel y  ma ny 0 - wa lks $W_{k}^{0}$ in  ( \ [ 6. 2\]). Th us, $$ | W^ {1 } |\;=\;\o me ga\ cdot \ tau_{ 1}+\ t au _{0}  \l abel{7 . 1} $$  where$\ tau_{1 }$  is  th e num b er o f trav ersals o f 0-t i ps performed b y  $W^{1}$ and$ \t a u _{ 0 }$ i s t he number o f tr a vers also fbra n chesin al lt he two-ended (i.e., fi ni te) 0- walks  appearing as  terms in( \ [ 6.2\]).We t a ke $\sum_{k=0}^{m } |W^ {0}_{k}|$t o be the  natu ral sumof ordina l s ; this y iel dsa n orm a l  e xpansion of a n ordi na l [@abpag es 354- 355 ].$\t au_ {1 }$ is not  0 becau se  $ W^ {1 }$is an ontrivia l,  tw o- sid ed 1- w alk. H oweve r, $ \t au _ {0} $ may b e  0 , this  o cc urri ngwh en ev ery$ W_{ k}^{0}$  in (\[6. 2\] )  ison e- ended o r endless.

A  0 -node is c al led  [*max i m al*]{} i f it is not contained i n  a 1-no de,  and[*no nmaximal* ]{}  other wis e . A di stance  meas ur edf r om an o nm axi ma l 0-node i s the  same  a s th at meas ured from the 1-no d e c ontaining it.  Gi vent w onod e s$ x$an d  $y $ (of ranks 0 or1), we def in e 
 1-wconnected,_we will_say that $G^{1}$ is_1-[*wconnected*]{}.

Walk-Based Distances_in_a 1-Graph
=================================

The_length_$|W^{0}|$ of a_0-walk $W^{0}$ is_defined as follows: If_$W^{0}$ is two-ended,_$|W^{0}|$_is the number $\tau_{0}$ of branch traversals in it; that is, each branch is_counted_as many_times_as_it appears in $W^{0}$. If_$W^{0}$ is one-ended and extended,_we set_$|W^{0}|=\omega$, the first transfinite ordinal. If $W^{0}$ is_endless_and extended in_both directions, we set $|W^{0}|=\omega\cdot 2$.

As for a nontrivial_two-ended 1-walk $W^{1}$, its length $|W^{1}|$_is taken to_be_$|W^{1}|=\sum_{k=0}^{m}|W_{k}^{0}|$,_where the sum is_over the finitely many 0-walks $W_{k}^{0}$_in (\[6.2\]). Thus, $$|W^{1}|\;=\;\omega\cdot \tau_{1}+\tau_{0} _\label{7.1}$$ where $\tau_{1}$ is the number of_traversals of 0-tips performed by $W^{1}$_and $\tau_{0}$ is the number_of traversals_of branches in all the_two-ended (i.e., finite)_0-walks appearing_as terms in_(\[6.2\]). We take $\sum_{k=0}^{m} |W^{0}_{k}|$ to_be the natural_sum of ordinals; this yields a_normal_expansion of an_ordinal_[@ab_pages 354-355]._$\tau_{1}$ is not_0_because $W^{1}$_is_a nontrivial, two-sided 1-walk. However, $\tau_{0}$_may_be 0, this occurring when every $W_{k}^{0}$_in (\[6.2\]) is one-ended_or_endless.

A 0-node is called_[*maximal*]{} if it is not_contained in a 1-node, and [*nonmaximal*]{}_otherwise. A_distance measured_from a nonmaximal 0-node is the same as that measured from_the 1-node containing it. Given two_nodes $x$ and $y$_(of ranks_0_or 1), we_define