2011-07-14から1日間の記事一覧
について勉強、緩いストーリーを纏めとく、間違ってたらゴメンナサイ。 とある理由から、いきなりズバッと否定モデルは作れず、可算モデルをベースにして拡張する必要があるらしく。 そこで をベースとなる可算モデルとし、更にMostowskiの同型定理から推移…
について勉強、緩いストーリーを纏めとく、間違ってたらゴメンナサイ。 とある理由から、いきなりズバッと否定モデルは作れず、可算モデルをベースにして拡張する必要があるらしく。 そこで をベースとなる可算モデルとし、更にMostowskiの同型定理から推移…