The Math Forum

Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Math Forum » Discussions » sci.math.* » sci.math

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: A canonical form for small ordinals
Replies: 12   Last Post: Jan 19, 2014 2:35 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]

Posts: 2,720
Registered: 2/15/09
Re: A canonical form for small ordinals
Posted: Jan 16, 2014 8:23 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On 1/16/2014 2:31 PM, Paul wrote:
> I saw it asserted without proof that all ordinals, alpha, less than epsilon_0, can be uniquely expressed as omega ^ beta * (gamma + 1), for some gamma and some beta such that omega ^ beta < alpha, where omega is the smallest infinite ordinal. This isn't clear to me. Could anyone help or give a reference?
> Thank You,
> Paul Epstein

Uh, gamma is not always "definable". Then it is to e_0
(else it would be).

This lets the tiniest little infinity that is undefinable,
be uncountable.

Still, a "canonical form up to e_0" eg, the limits of
induction, that would be very interesting as canonical
forms up to large ordinals are very highly organized and
structured. Even the typical products of all the vector
spaces around us are usually in products of omega:
exactly as they are of integer spaces.

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.