Talk:Axiom of real determinacy

Untitled
Christ Almighty. What the HELL is this stuff? — Preceding unsigned comment added by 70.22.125.161 (talk) 23:16, 15 December 2005 (UTC)

AD beth_1 and a lot more
Let P(S) be power set of S and let N denote set of natural numbers. Replace ADR with equivalent ADב 1 which states about games in which we take elements of arbitrary set with cardinality instead of real numbers. Analogously create axioms ADב 2, ADב 3 , etc. for all beth numbers using transfinite induction. How to prove that ADב n implies AD for all smaller beth numbers? Can similar proof be created for aleph numbers? — Preceding unsigned comment added by Wojowu (talk • contribs) 20:02, 26 May 2012 (UTC)