Scott's trick en · PROPN
Etymology
Introduced by Dana Scott in 1955.
Meanings
- 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.
Words, grammatical forms and meanings linked to the ontology.
Introduced by Dana Scott in 1955.