All public logs

Combined display of all available logs of Apeirology Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 13:21, 31 August 2023 RhubarbJayde talk contribs created page Axiom of determinacy (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...") Tag: Visual edit