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!