Rank cutoff at the first inaccessible limit of inaccessibles
ID: rank-cutoff-at-the-first-inaccessible-limit-of-inaccessibles
If is the least inaccessible limit of inaccessibles, models ZFC and internally has unboundedly many inaccessible cardinals, while none of its ordinals is an inaccessible limit of inaccessibles. Rank agreement makes inaccessibility below absolute. If a model of unboundedly many inaccessibles has no such limit in the first place, no cutoff is needed. This proves the corresponding relative-consistency nonimplication.
New to topics? Read the docs here!