Re: CH yet again.
- From: David C. Ullrich <ullrich@xxxxxxxxxxxxxxxx>
- Date: Mon, 30 Jan 2006 07:44:45 -0600
On Mon, 30 Jan 2006 12:40:57 +0200, Aatu Koskensilta
<aatu.koskensilta@xxxxxxxxx> wrote:
>MoeBlee wrote:
>
>> Every cardinal is an aleph (if I'm not mistaken, that does not require
>> the axiom of choice).
>
>That every cardinal is an aleph - or, more precisely, that every set is
>equipollent to an initial ordinal - is equivalent to choice.
(Hint: Because it's clearly equivalent to the statement that
every set can be well-ordered.)
************************
David C. Ullrich
.
- References:
- Re: CH yet again.
- From: MoeBlee
- Re: CH yet again.
- From: Aatu Koskensilta
- Re: CH yet again.
- From: MoeBlee
- Re: CH yet again.
- From: Aatu Koskensilta
- Re: CH yet again.
- From: MoeBlee
- Re: CH yet again.
- From: Aatu Koskensilta
- Re: CH yet again.
- Prev by Date: Re: incompleteness of first-order logic
- Next by Date: Re: incompleteness of first-order logic
- Previous by thread: Re: CH yet again.
- Next by thread: CH yet again.
- Index(es):
Relevant Pages
|