Why should the underlying set of a model be a set?

706 Views Asked by At

In logic (especially in model theory and set theory), one defines a model $\mathcal A$ for a given signature $S$ to be given by a underlying set $A$ and some additional structure (by which I mean: for every constant symbol in $S$ an element of $A$, for every $n$-ary function symbol in $S$ a function $A^n\to A$, and so on). In set theory, one often considers models satisfying some set theory axioms (often one takes ZFC); these models have the form $(V, \in)$, where $V$ is called a universe and $\in$ a binary relation on $V$.

I find it philosophically unsatisfying that set-theoretic universes should be sets, since within a set-theoretic universe satisfying ZFC, this universe thinks that it is a proper class, if you know what I mean.

Why does one not allow models/universes to be proper classes?

Why are the set-theoretic universes sets?

1

There are 1 best solutions below

12
On BEST ANSWER

One of the reasons is that the $\sf ZFC$ axioms are not equipped for handling classes properly. For example $\sf ZF$ proves that all the axioms of $\sf ZFC$ hold in the inner model $L$, which is a proper class. But we cannot define a truth definition for that class, as that would violate Tarski's theorem. And the proof that all the axioms hold in $L$ is not a single proof, but rather a schema of proofs.

Sure, we can handle some class models relatively okay (e.g. the surreal numbers, which have a relatively simple theory), but arbitrarily speaking? We want our foundational theory to have access to the truth definition of a structure. Otherwise, what sort of foundation does the theory provide us?

If you notice, almost all the statements about class models of set theory are meta-theoretic statements.

Yes, we could use class-theories like $\sf KM$ (Kelley-Morse) and $\sf NBG$ (von Neumann-Goedel-Bernays), and this might allow us to extend the reach of truth definitions for various class models; but certainly not for the entire universe, as that would contradict Tarski's theorem about the undefinability of the truth. So the universe of set theory will, essentially, always be an internal class.