Mahloness is downward absolute to the constructible universe

ID: mahloness-is-downward-absolute-to-the-constructible-universe

If is Mahlo in , then it is Mahlo in . Inaccessibility is downward absolute, and every club in remains a club in , where it meets a -inaccessible ordinal.

New to topics? Read the docs here!