(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.
Scott's trick
私の集合論のゼミでは、スコットによる真クラス上の同値関係の同値類に標準的代表元を割り当てる手法（選択公理には依存せず正則性公理に基づく）を検討しました。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
