Re: Separation,Power and Countability.

On Jun 17, 7:41 am, MoeBlee <jazzm...@xxxxxxxxxxx> wrote:
On Jun 17, 6:47 am, LauLuna <laureanol...@xxxxxxxx> wrote:

Eliminate the variable f by
giving it a constant name,

Maybe that's justified in your logic; but it's not justified in mine.

I was wrong; you're right, LauLuna. We can make that move to a
constant symbol (I'm so used to using variables that I forgot, e.g.,
Enderton's version of rule EI). zuhair's revised separation schema
does not block Cantor's argument.

MoeBlee

.

Loading