An inaccessible cardinal whose inaccessible ordinals below it form a stationary set. Equivalently, every predicate expansion of has an inaccessible elementary rank level below .
Articles by others on the same topic
There are currently no matching articles.