Scott's trick
English
Etymology
Introduced by Dana Scott in 1955.
Proper noun
- (set theory) 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.
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.