Uniformly narrow regular-height tree branch theorem
ID: uniformly-narrow-regular-height-tree-branch-theorem
For infinite regular cardinals , a -tree whose levels all have size less than has a cofinal branch. At levels of cofinality , bound all heights distinguishing distinct predecessor chains. The Fodor lemma makes this bound constant on a stationary set; one predecessor at that height occurs stationarily often. The resulting predecessor chains agree below their common heights and unite into a branch through every level. Distinct limit-level nodes with identical predecessor chains do not affect this argument.
New to topics? Read the docs here!