Equivalence of partition properties and determinacy.
暂无分享,去创建一个
It is shown that, within L(R), the smallest inner model of set theory containing the reals, the axiom of determinacy is equivalent to the existence of arbitrarily large cardinals below Theta with the strong partition property kappa --> (kappa)(kappa).