Re: what makes it true?

Jim Spriggs <jim.sprigs@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx> writes:

> Are there ordinals for which there is no notation?

Yes, the upper bound for the ordinals that can be given a notation
(the Church-Kleene ordinal) is countable.

.

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?
    ... the upper bound for the ordinals that can be given a notation ... Prev by Date: ...
    (sci.math)
  • Re: an important set theory post
    ... I just meant notation that obscures the actual meaning ... of ordinals in order to understand what it means. ... "Understanding Godel isn't about following his formal proof. ...
    (sci.math)
Loading