Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 121 3 d Solution Created 2026-10-03 Updated 2026-10-06
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. ThereforeThis proves the stronger form of the requested conclusion.