Talk:Axiom of real determinacy
Latest comment: 12 years ago by Wojowu in topic AD beth_1 and a lot more
 | This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
Untitled
editChrist 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
editLet 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)