Re: Separation,Power and Countability.

On Jun 20, 6:37 pm, MoeBlee <jazzm...@xxxxxxxxxxx> wrote:
On Jun 20, 4:34 pm, zuhair <zaljo...@xxxxxxxxx> wrote:

Just an intuition. Nothing else.

It's not even clear what the question MEANS given that d is not
definable. How can you define a function with regard to a set that is
not itself defined?

Yes, that's the beauty of the subject.

Review Keith Ramsy's proof of the injective function from
w to d , were d is an indefinable subset of w. It's a nice example of
such an injective function from a definable set to indefinable set.





MoeBlee


.