Scott's trick

English dictionary entry

Meanings

name
  1. 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

Scott's trick

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.