Consistency strength of a worldly cardinal

ID: consistency-strength-of-a-worldly-cardinal

Let and . A worldly makes a model of ZFC, and arithmetic absoluteness for a rank-initial model makes it a model of , so proves . If proved , then the stronger theory would prove its own consistency, contradicting the Gödel second incompleteness theorem. Thus, assuming consistency, .

New to topics? Read the docs here!