Below any uncountable strongly inaccessible cardinal , the worldly cardinals contain a closed unbounded subset of and hence have cardinality . The structure models ZFC. Reflect each finite group from an enumeration of all first-order formulas to a closed unbounded subset of , using and regularity for the witness bounds. The countable intersection remains closed unbounded, so its ranks are elementary substructures of . Intersect with the closed unbounded subset of infinite cardinal numbers below . Uncountability is essential: the regular strong limit has no worldly cardinal below it.
Articles by others on the same topic
There are currently no matching articles.