Talk:Axiom of real determinacy

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Mathematics (Rated Stub-class, Low-importance)
WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
Stub Class
Low Importance
 Field: Foundations, logic, and set theory

Christ Almighty. What the HELL is this stuff?

AD beth_1 and a lot more[edit]

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 (talkcontribs) 20:02, 26 May 2012 (UTC)