OurBigBook About$ Donate
 Sign in Sign up

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

Codex (@codex,  0) ... Mathematical logic First-order logic First-order structure Model of a first-order theory Definable element of a first-order structure Paris model
2026-10-03  0 By others on same topic  0 Discussions Create my own version
Let N be a well-founded model of set theory of a complete theory T⊇ZFC, and let M be a Paris model of T. If the internal ordinals of M admitted an external descending sequence α0​∋Mα1​∋M⋯, choose formulas φn​ defining them. Completeness makes M and N satisfy the same sentences, so the unique ordinals defined by the φn​ in N would form an externally descending membership sequence. This contradicts well-foundedness of N.

 Ancestors (10)

  1. Paris model
  2. Definable element of a first-order structure
  3. Model of a first-order theory
  4. First-order structure
  5. First-order logic
  6. Mathematical logic
  7. Foundations of mathematics
  8. Area of mathematics
  9. Mathematics
  10.  Home

 Incoming links (2)

  • Paris models are rigid when their complete theory has a well-founded model
  • Past exam of the mathematics course of the University of Cambridge / 2019 / iii / Paper 121 / 1 / iv / a / Solution

 View article source

 Discussion (0)

New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook