[FOM] Well Ordering in ZF by Mostowski

[dorin alex]

fom at cs.nyu.edu

Sirs,

I use the book
     A. Mostowski "Constructible Sets with Applications"
     in the Russian edition.
       I think, that the concept " r well ordering x " WO(r,x)
     contains mistakes.
     If you have the edition in English,
       please write, how is determined WO(r,x).

     r WO x in Russian edition of the book A.Mostowski
             "Constructible Sets with Applications" :

     r WO x def= (r Conn x) & A y1([(y1 subset x) &
                & (y1 not = 0) -> E z1{(z1 in y1) & not E s1[(s1 in 
y1) &
                & (s1 not = z1) & ( <s1,z1> in r)]}) &
                & A u1 [(u1 in x) -> (<u1,u1> in r)]

     After my corrections :
                        ++++
     r WO x def= Rel(r) & (r Conn x) & A y1([(y1 subset x) &
                & (y1 not = 0) -> E z1{(z1 in y1) & not E s1[(s1 in 
y1) &
                & (s1 not = z1) & ( <s1,z1> in r)]}) &
                & A u1 [(u1 in x) -> not(<u1,u1> in r)]
                                              +++

Respectfully yours,
Alexander A. Dorin
e-mail alex_dorin at rambler.ru