Re: Uncountable sets in CZF?

From: KRamsay (kramsay_at_aol.com)
Date: 09/08/04 

Date: 08 Sep 2004 20:05:06 GMT

In article <3c6b9c1e.0409081114.451d1c0b@posting.google.com>,
raf@tiki-lounge.com (Ross A. Finlayson) writes:
|Instead, you just claim that it's consistent for the naturals to
|surject onto the reals in this IZF or some other framework with no
|"excluded middle", and that if you assume you can compute those
|functions NxN then you claim that there is a surjection from N onto R.

No, and please stop trying to paraphrase what I've written; you
seem not to understand it well enough.

Keith Ramsay