V=Lとtransitive collapseの話書けよ>自分

mixi某所で少し書いたことの拡張版をこちらに。V=Lというモデルが最小であるという仮定を使った議論と、モデルを拡大するforcingが似たように見えることがあるというお話。具体例はちょっと書けませんが、ある条件を満たすtopological spaceを強制法で構成し…