Page history
Jump to navigation
Jump to search
31 May 2024
25 September 2023
31 August 2023
RhubarbJayde
no edit summary
+491
RhubarbJayde
Created page with "The axiom of determinacy is a powerful proposal for a foundational axiom inspired by Zermelo's theorem. Given any subset \(A\) of Baire space \(\omega^\omega\), let \(\mathcal{G}_A\) be the topological game of length \(\omega\) where players I and II alternatively play natural numbers \(n_1, n_2, n_3, \cdots\). Then player I wins iff \(\langle n_1, n_2, n_3, \cdots \rangle \in A\), and else player II wins. \(A\) is called the payoff set of \(\mathcal{G}_A\). AD states th..."
+2,074