Paris models are well-founded when their complete theory has a well-founded model

ID: paris-models-are-well-founded-when-their-complete-theory-has-a-well-founded-model

Let be a well-founded model of set theory of a complete theory , and let be a Paris model of . If the internal ordinals of admitted an external descending sequence , choose formulas defining them. Completeness makes and satisfy the same sentences, so the unique ordinals defined by the in would form an externally descending membership sequence. This contradicts well-foundedness of .

New to topics? Read the docs here!