Model theory is really meta, so you will have to pay attention here. Roughly, a ``model of $latex {\mathsf{ZFC}}&fg=000000$'' is a set with a binary relation that satisfies the $latex {\mathsf{ZFC}}&fg=000000$ axioms, just as a group is a set with a binary operation that satisfies the group axioms. Unfortunately, unlike with groups, it is very… Continue reading Models of ZFC

# Tag: cardinals

## Cardinals

(Standard post on cardinals, as a prerequisite for forthcoming theory model post.) An ordinal measures a total ordering. However, it does not do a fantastic job at measuring size. For example, there is a bijection between the elements of $latex {\omega}&fg=000000$ and $latex {\omega+1}&fg=000000$: $latex \displaystyle \begin{array}{rccccccc} \omega+1 = & \{ & \omega & 0… Continue reading Cardinals