In set theory, Scott's trick is a method for choosing sets of representatives for equivalence classes without using the axiom of choice, if the axiom of regularity is available (Forster 2003:182). It can be used to define representatives for ordinal numbers in Zermelo–Fraenkel set theory. The method is named after Dana Scott, who was the first to apply it.
Beyond the problem of defining set representatives for ordinal numbers, Scott's trick can be used to obtain representatives for cardinal numbers and when taking ultrapowers of proper classes in model theory.
Read more about Scott's Trick: Application To Cardinalities
Famous quotes containing the words scott and/or trick:
“I’m a romantic—a sentimental person thinks things will last—a romantic person hopes against hope that they won’t.”
—F. Scott Fitzgerald (1896–1940)
“It is not possible either to trick or escape the mind of Zeus.”
—Hesiod (c. 8th century B.C.)