Scott's trick


In set theory, Scott's trick is a method for giving a definition of equivalence classes for equivalence relations on a proper class by referring to levels of the cumulative hierarchy.
The method relies on the axiom of regularity but not on the axiom of choice. It can be used to define representatives for ordinal numbers in ZF, Zermelo–Fraenkel set theory without the axiom of choice. The method was introduced by.
Beyond the problem of defining set representatives for ordinal numbers, Scott's trick can be used to obtain representatives for cardinal numbers and more generally for isomorphism types, for example, order types of linearly ordered sets. It is credited to be indispensable when taking ultrapowers of proper classes in model theory.

Application to cardinalities

The use of Scott's trick for cardinal numbers shows how the method is typically employed. The initial definition of a cardinal number is an equivalence class of sets, where two sets are equivalent if there is a bijection between them. The difficulty is that almost every equivalence class of this relation is a proper class, and so the equivalence classes themselves cannot be directly manipulated in set theories, such as Zermelo-Fraenkel set theory, that only deal with sets. It is often desirable in the context of set theory to have sets that are representatives for the equivalence classes. These sets are then taken to "be" cardinal numbers, by definition.
In Zermelo-Fraenkel set theory with the axiom of choice, one way of assigning representatives to cardinal numbers is to associate each cardinal number with the least ordinal number of the same cardinality. These special ordinals are the ℵ numbers. But if the axiom of choice is not assumed, for some cardinal numbers it may not be possible to find such an ordinal number, and thus the cardinal numbers of those sets have no ordinal number as representatives.
Scott's trick assigns representatives differently, using the fact that for every set A there is a least rank γA in the cumulative hierarchy when some set of the same cardinality as A appears. Thus one may define the representative of the cardinal number of A to be the set of all sets of rank γA that have the same cardinality as A. This definition assigns a representative to every cardinal number even when not every set can be well-ordered. It can be carried out in Zermelo-Fraenkel set theory, without using the axiom of choice, but making essential use of the axiom of regularity.