Club agreement of countable filtrations
ID: club-agreement-of-countable-filtrations
For two kappa-filtrations at exhausting sets of size , any bijection between the sets carries corresponding stages onto one another on a club set of indices. Bound both forward and inverse images at each countable stage by a function . The limit ordinals closed under all earlier -values form a club; continuity gives equality at those ordinals.
New to topics? Read the docs here!