Scott's trick
Meanings
name
- A method for giving a definition of equivalence classes for equivalence relations on a proper class, relying on the axiom of regularity but not on the axiom of choice.
Word forms
Etymology
Introduced by Dana Scott in 1955.
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.