Re: what makes it true?

Torkel Franzen wrote:
>
> Timothy Little <tim-usenet@xxxxxxxxxxxxxxxxxx> writes:
>
> > In PA, the concept of an ordinal cannot even be expressed.
>
> Sure it can, in the form "n is a notation in S", for various
> systems of notation S.

Are there ordinals for which there is no notation?

--
I don't know who you are Sir, or where you come from,
but you've done me a power of good.
.

Relevant Pages

  • Re: So I lied about epsilon-0
    ... GG> ordinals bigger than epsilon-0 in ascii. ... notation system that assigns at least one notation to o. ... greater) between the ordinals they denote is decidable. ... start with the scheme that doesn't give any notation to any ...
    (sci.logic)
  • Re: Aleph_Aleph_1
    ... is for ordinal addition not for cardinal addition. ... functional parentheses notation. ... my impression is that the definition of cardinals ... as initial ordinals is pretty standard. ...
    (sci.logic)
  • Re: Question
    ... Nonsense in this notation. ... omega was a sequence of stars, ... This is simply NOT contemplated in the notation YOU ... Were ordinals expressed ONLY as "lists" of *s? ...
    (sci.math)
  • Re: what makes it true?
    ... > Are there ordinals for which there is no notation? ... There are countable ordinals for which there is no notation. ... Judge Yohn's mistakes revealed in Mumia Abu-Jamal ruling. ... Prev by Date: ...
    (sci.math)
  • Re: what makes it true?
    ... the upper bound for the ordinals that can be given a notation ... Prev by Date: ...
    (sci.math)
Loading