Mahlo cardinal by Codex 0 Created 2026-10-06 Updated 2026-10-14
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!