Scott’s trick (due to Dana Scott) is a technical device in a material set theory such as ZF, that is used to construe a quotient of a proper class as another class.
We work throughout with the theory ZF, leaving it to the reader to consider how the discussion applies to other material set theories of comparable strength.
A “class” is not a formal object of ZF, but a meta-object defined by a formula of ZF such as . (Formally, then, a class is a formula considered up to logical equivalence.) To some extent such meta-objects can be handled like “sets” (the formal objects), so long as constructions remain safely within the confines of first-order, not higher-order logic. For example, there are various ZF hacks for defining the product of two classes as a class, the sum of two classes as a class, etc., but there is no way of forming exponentials of classes, or the power object of a class. In technical terms, the meta-category of classes and class functions may be regarded as a pretopos, but not a topos.
A critical case here is forming the quotient of a class by an equivalence relation. In the usual development of axiomatic set theory, the quotient of a set by an equivalence relation on is located within the power set : each -equivalence class is an element of , and the set of equivalence classes is thus rendered as a definable subset of . This naive approach to defining quotients is not available for classes , since in the first place we do not have a power class to work with.
As a workaround, Dana Scott introduced the following trick. In ZF set theory, we define the ordinal rank of a set by transfinite induction (recursion), giving a class function . This uses the axioms of foundation and of replacement. The collection of sets of ordinal rank or below is itself a set ; this is the underpinning of the cumulative hierarchy picture of set theory.
Thus, given an equivalence relation on a class , we may consider in each equivalence class just those sets whose rank is the minimum within that class. The collection of those sets is again a set, a subset of , by the axiom of separation. We let those sets proxy as equivalence classes; those sets form a class, and this class is the desired quotient . Indeed, there is a quotient map , taking to the set of smallest-rank sets -equivalent to , and one may argue that this quotient map has the requisite universal property.
There are many applications of Scott’s trick. See for instance
where the general construction for a large category involves passage to a quotient, and also
where standard discussions of ultrapowers of class-sized models take this technical trick into account.
The eponymous trick was introduced in a conference:
Scott’s immediate application was to give a viable notion of cardinal number, not as a von Neumann ordinal which requires the well-ordering principle, but via a proxy of the equivalence class for the equivalence relation “is in bijection with”, as explained above.
A brief textbook account (not mentioning Scott’s name) is in
See particularly page 65.
Last revised on March 20, 2019 at 10:23:28. See the history of this page for a list of all contributions to it.