加载中…
We show that the Axiom of Real Determinacy and the Axiom of Real Blackwell Determinacy are equivalent in +. This answers the question of Löwe [15, Question 53]. While we do not know whether they are equivalent in +, we show that the theories + and ++ are equiconsistent.

生成讲解博客的中文版本

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