[FOM] A New Ordinal Notation

[Dmytro Taranovsky]

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.

Dmytro Taranovsky