[FOM] Well Ordering in ZF by Mostowski
dorin alex
alex_dorin at rambler.ru
Wed Aug 24 02:19:18 EDT 2005
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
More information about the FOM
mailing list