Inaccessible limit of inaccessibles
ID: inaccessible-limit-of-inaccessibles
An inaccessible cardinal is an inaccessible limit of inaccessibles if the inaccessible cardinals below it are unbounded in . A rank cutoff at the first inaccessible limit of inaccessibles shows that existence of unboundedly many inaccessibles does not prove existence of such a limit, provided the former theory is consistent.
New to topics? Read the docs here!