加载中…
We describe a construction of a model of second order arithmetic in which (boldface) -determinacy holds, but (lightface) - fails, thus showing that no projective level of determinacy implies full . The construction builds upon the work of Gitman, Friedman, and Kanovei.

生成讲解博客的中文版本

生成AI智能校验的中文版本