Scott's trick
Jump to navigation
Jump to search
English[edit]
Etymology[edit]
Introduced by Dana Scott in 1955.
Proper noun[edit]
- (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.