[FOM] A New Ordinal Notation
dmytro at MIT.EDU
Wed Aug 24 11:36:44 EDT 2005
In my description of the comparison relation for the ordinal
notation I wrote about in my previous FOM message, in item (1)
(a, g) < (b, e) should have been (a, g) < (d, e).
The corrected form is:
C(a, b, c) < C(d, e, f) iff C(a, b, c)<=f or c<C(d, e, f) and (a, g) < (d, e)
where g is the largest ordinal such that C(a, g, c) = C(a, b, c).
I am grateful to Lew Gordeew for pointing out the mistake.
More information about the FOM