12/01/15 20:05:32.35
>>308
Stanford Encyclopedia of Philophy の Koellner の記事
(URLﾘﾝｸ(plato.stanford.edu))から引用：
A large cardinal is small if the associated large cardinal axiom can hold in Gödel's constructible universe L,
that is, if “V ⊨ κ is a φ-cardinal” is consistent, then “L ⊨ κ is a φ-cardinal” is consistent.
Otherwise the large cardinal is large.
この定義によると24のゼロシャープはもう large large cardinal のはずだが。