Nonreflection of fixed order-type fibers
ID: nonreflection-of-fixed-order-type-fibers
For a coherent club set sequence, the limit points of form a club set whenever . Along these points, strictly increases, so a fixed fiber meets this a club set at most once and cannot reflect at . Under the square principle order-type bound, the fibers with partition all limit ordinals below into non-reflecting pieces.
New to topics? Read the docs here!