About countable Ordinals.
- From: "Bill Taylor" <w.taylor@xxxxxxxxxxxxxxxxxxxxx>
- Date: 28 Jun 2005 22:59:02 -0700
Can someone with more knowledge and skill please confirm
the following for me.
========
Every constructive (recursive) ordinal has a co-final subsequence
of order type omega.
========
I'm pretty sure that one's true. Is it so?
Secondly:-
The first nonconstructive ordinal, w_1^[CK], does NOT satify the above.
Is that true too?
Indeed, I would guess that every co-final subsequence of w_1^[CK]
has the same order type as w_1^[CK] itself.
Is that true?
----------------------------------------------------------------------
Bill Taylor W.Taylor@xxxxxxxxxxxxxxxxxxxxx
----------------------------------------------------------------------
Some say the pope is the greatest cardinal.
But others insist - that this cannot be so,
as every pope has a successor.
----------------------------------------------------------------------
.
- Follow-Ups:
- Re: About countable Ordinals.
- From: H. Enderton
- Re: About countable Ordinals.
- From: Keith Ramsay
- Re: About countable Ordinals.
- Prev by Date: Re: Formulas & Sentences of PL...
- Next by Date: Re: Derivations (SD)
- Previous by thread: Derivations (SD)
- Next by thread: Re: About countable Ordinals.
- Index(es):
Relevant Pages
|
|
