Scott's trick
专有名词
英文释义
专有名词
- 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.
词源
Introduced by Dana Scott in 1955.
0 次浏览
数据来源: Wiktionary