[FOM] A corrcetion of a stupid mistake

Arnon Avron aa at tau.ac.il
Tue Sep 11 02:01:49 EDT 2007

Unfortunately, I was careless in my posting of Sun,  September 9 2007,
and made a really silly mistake of the type I would not
forgive my students for: to show the existence of
{{n}: n\in N} one needs of course only one application of the powerset 
axiom, not two. This set *belongs* to P(P(N)) but its definition 
in terms of separation and powerset is obviously just {x\in P(N): ...}.
The same goes with my other examples at that posting (thanks to 
Piotr Rudnicki who took care to notify me).

 I should note that embarrassing as it is, this  mistake  does not make 
any difference for the thesis and content of that posting
(At worst I should have used, e.g. {{{n}}: n\in N} instead of 
{{n}: n\in N}...). 

Arnon Avron
School of Computer Science
Tel-Aviv University

More information about the FOM mailing list