Weakly inaccessible cardinals are unbounded below the given cardinal. In fact, they form a stationary set there. Let be the weakly Mahlo cardinal, so it is a regular uncountable limit cardinal and the set is stationary.
The set of uncountable limit cardinals below is a club set. For unboundedness, above any starting point choose a strictly increasing countable sequence of cardinal numbers below ; its supremum remains below by regularity and is an uncountable limit cardinal. For closure, a limit of such limit cardinals is again a limit cardinal.
Every is an uncountable regular cardinal and a limit cardinal, hence a weakly inaccessible cardinal. The intersection of a stationary set with a club set is stationary, because its intersection with any further club is nonempty. Therefore
This proves the stronger form of the requested conclusion.

Articles by others on the same topic (0)

There are currently no matching articles.