godelian
|
Registered User
|
I'm a graduate student deeply interested in foundations (logic, set theory, model theory, metamathematics) and category theory.
|
|
Jun 14 |
comment |
Is there an infinite-dimensional Banach space with a compact unit ball? Martin's comment is indeed correct. Dependent choice fails in the model described in my answer. I also agree with Ian's comment, see also my comment to the post above. |
|
Jun 10 |
awarded | ● Fanatic |
|
Feb 14 |
awarded | ● Yearling |
|
Jan 1 |
comment |
What axioms are stronger than the Axiom of choice? That GCH implies AC is theorem 11.11 in Jech's book The axiom of choice. I'm not sure about CH. |
|
Jan 1 |
comment |
What axioms are stronger than the Axiom of choice? I presume you mean the generalized continuum hypothesis? |
