Re: Uncountable sets in CZF?

From: Jesse F. Hughes (jesse_at_phiwumbda.org)
Date: 08/18/04 

Date: Wed, 18 Aug 2004 07:41:23 +0200

raf@tiki-lounge.com (Ross A. Finlayson) writes:

> I've read recently, as have probably you, that in a model of an
> intuitionist zet theory, IZF for intuitionist Zermelo-Fraenkel, that
> it is not inconsistent for there to be a mapping between set and
> powerset. That agrees with some of the things I say.

This is false, if by "mapping" you mean "bijection".

You should choose what you read more carefully. In this thread, I
gave an explicit proof that in IZF, there is no surjection from X to
PX for any set X. 

-- 
"And yes, for those who think that just maybe I did find a short proof
of Fermat's Last Theorem, and THE prime counting function, if I
succeed at what I'm working on now world economy as you know it will
be gone." -- James Harris branches out.
Quantcast