Non-reflecting subset

ID: non-reflecting-subset

A subset is non-reflecting in the indicated sense if it is not stationary below any of uncountable cofinality. The subset itself need not be stationary. Nonreflection is inherited by subsets. With this definition every subset of is non-reflecting, since all smaller ordinals have countable cofinality.

New to topics? Read the docs here!