An inaccessible cardinal whose inaccessible ordinals below it form a stationary set. Equivalently, every predicate expansion of has an inaccessible elementary rank level below .
New to topics? Read the docs here!
New to topics? Read the docs here!