On a regular uncountable cardinal number , the club filter consists of all subsets containing a club set. It is a kappa-complete filter by club filter completeness. Its members are stationary sets, although a stationary set need not be a filter member, and a filter member need not itself be closed.
For any regular uncountable cardinal number , the set contains the final-segment club set , so belongs to the club filter and is a stationary set. It is not closed, since its finite ordinals have supremum , which is missing.
The club filter on a regular uncountable cardinal number is -complete. Intersections of fewer than club sets are closed. For unboundedness, repeatedly step past a point of each club and take a countable supremum; regularity keeps all suprema below , and closure puts the final supremum in every club.

Articles by others on the same topic (0)

There are currently no matching articles.