12/01/20 19:20:12.86
>>350, >>336
俺は>>312の記述が間違っていて、
ZF(C) |- (∀κ:cardinal)[κ is a φ-cardinal → L ⊨ (κ is a φ-cardinal)]
が small large cardinal の定義だと思っていた。
これだと０♯とか、そのままでは適用できなくなるでしょ？
12/01/20 19:20:12.86
>>350, >>336
俺は>>312の記述が間違っていて、
ZF(C) |- (∀κ:cardinal)[κ is a φ-cardinal → L ⊨ (κ is a φ-cardinal)]
が small large cardinal の定義だと思っていた。
これだと０♯とか、そのままでは適用できなくなるでしょ？