ℵ1-カテゴリ性はω-安定性を示唆するのはいつか? | Synapse