It is known that several variations of the axiom of determinacy play important roles in the study of reverse mathematics, and the relation between the hierarchy of determinacy and comprehension are revealed by Tanaka, Nemoto, Montalbán, Shore, and others. We prove variations of a result by Kołodziejczyk and Michalewski relating determinacy of arbitrary boolean combinations of sets and reflection in second-order arithmetic. Specifically, we prove that: over , - is equivalent to -; -- is equivalent to -; and -- is equivalent to -. We also restate results by Montalbán and Shore to show that - is equivalent to - over .

生成讲解博客的中文版本

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