ソロヴェイモデル
DC は従属選択公理の略記とする。
ソロヴェイの定理は次のことである。 到達不能基数の存在を仮定する。このとき、適切な強制拡大 V[G] の ZF+DC の内部モデルであって、実数のいかなる集合も全て、ルベーグ可測であって perfect set property を満たしベールの性質を満たすというモデルがある。