ﾚｽ書き込み

現代数学の系譜11 ガロア理論を読む25 [無断転載禁止]©2ch.net

PC,ｽﾏﾎ,PHSは ULA べっかんこ公式(ｽﾏﾎ) 公式(PC) で書き込んでください｡

名前
ﾒｰﾙ
引用切替：ﾚｽｱﾝｶｰのみ

>>335
> >>333
> Scottのトリック補足
> 
> http://alg-d.com/math/ac/card2.html
> 本当は怖い濃度の話 : 選択公理 | 壱大整域 2013年10月27日更新
> (抜粋)
> この定義は明らかに選択公理に依存しています．では選択公理を使わずに濃度が定義できるのかというと，Scottのトリックというものを使い定義することができます．
> 
> https://en.wikipedia.org/wiki/Scott%27s_trick
> Scott's trick
> (抜粋)
> In set theory, Scott's trick is a method for giving a definition of equivalence classes for equivalence relations on a proper class (Jech 2003:65). The method relies on the axiom of regularity but not on the axiom of choice.
> It can be used to define representatives for ordinal numbers in ZF, Zermelo?Fraenkel set theory without the axiom of choice (Forster 2003:182). The method was introduced by Dana Scott (1955).
> 
> Beyond the problem of defining set representatives for ordinal numbers, Scott's trick can be used to obtain representatives for cardinal numbers and more generally for isomorphism types, for example, order types of linearly ordered sets (Jech 2003:65).
> It is credited to be indispensable (even in the presence of the axiom of choice) when taking ultrapowers of proper classes in model theory. (Kanamori 1994:47)

ﾛｰｶﾙﾙｰﾙ SETTING.TXT

他の携帯ﾌﾞﾗｳｻﾞのﾚｽ書き込みﾌｫｰﾑはこちら｡書き込み設定で書き込みｻｲﾄの設定ができます｡
・ULA
・べっかんこ(身代わりの術)
・べっかんこ(通常)
・公式(ｽﾏﾎ)
・公式(PC)[PC,ｽﾏﾎ,PHS可]

書き込み設定(板別)で板別の名前とﾒｰﾙを設定できます｡

上下板覧索設栞歴

ぬこの手ぬこTOP 0.047s