ounded ▁computation ▁tree ▁is ▁itself ▁a ▁recursive ▁well - order ing , ▁and ▁at ▁least ▁as ▁large ▁as ▁the ▁ord inal ▁assigned ▁to ▁the ▁tree , ▁from ▁which ▁it ▁follows ▁that ▁the ▁levels ▁of ▁this ▁hierarchy ▁are ▁indexed ▁by ▁recursive ▁ord inals . ▁ ▁History ▁This ▁ordering ▁was ▁used ▁by ▁, ▁and ▁then ▁again ▁by ▁. ▁Br ou wer ▁does ▁not ▁c ite ▁any ▁references , ▁but ▁Mos ch ov ak is ▁arg ues ▁that ▁he ▁may ▁either ▁have ▁seen ▁, ▁or ▁have ▁been ▁influenced ▁by ▁earlier ▁work ▁of ▁the ▁same ▁authors ▁leading ▁to ▁this ▁work . ▁Much ▁later , ▁ ▁studied ▁the ▁same ▁ordering , ▁and ▁cred ited ▁it ▁to ▁Br ou wer . ▁ ▁References ▁▁ ▁Category : Des cript ive ▁set ▁theory ▁Category : Order ▁theory ▁Category : Well f ounded ness <0x0A> </s> ▁Pr ades - Sal ars ▁() ▁is ▁a ▁commune ▁in ▁the ▁A vey ron ▁department ▁in ▁southern ▁France . ▁ ▁Population ▁ ▁See ▁also ▁Comm unes ▁of ▁the ▁A vey ron ▁department ▁ ▁References ▁IN SEE ▁ ▁Category : Comm unes ▁of ▁A vey ron ▁Category : A vey ron ▁communes ▁articles ▁need ing ▁translation ▁from ▁French ▁Wikipedia <0x0A> </s> ▁The ▁Se j ny ▁U pr ising ▁or ▁Se ina i ▁Revol t ▁( , ▁) ▁refers ▁to ▁a ▁Polish ▁u pr ising ▁against ▁the ▁Lith uan ian ▁authorities ▁in ▁August ▁ 1 9 1 9 ▁in ▁the ▁eth n ically ▁mixed ▁area ▁surrounding ▁the ▁town ▁of ▁Se j ny ▁( ). ▁When ▁German ▁forces ,