Re: The real numbers, and general comments

From: Dave Seaman (dseaman_at_no.such.host)
Date: 10/04/04 

Date: Mon, 4 Oct 2004 02:25:42 +0000 (UTC)

On 3 Oct 2004 18:23:06 -0700, Andrew Usher wrote:

> The trouble is that you are convinced that ZFC is a good moel of
> logic.

I don't consider ZFC to be a model of anything. I was talking about ZF
as a set of axioms that serves as a basis for set theory.

> Cantor's power-set theorem can be proved using real logic, as
> Cantor did; it can also be 'proved' in ZF.

It's an axiom of ZF.

> But (I think) Lowenheim-Skolen says that a bijection does exist, but
> ZFC can't find it. Now if L-S says only that 'there exist countable
> models', no problem; but I amd not sure which.

That's not what L-S says. L-S is about models, and Cantor's theorem does
not make reference to any particular model. 

-- 
Dave Seaman
Judge Yohn's mistakes revealed in Mumia Abu-Jamal ruling.
<http://www.commoncouragepress.com/index.cfm?action=book&bookid=228>

Relevant Pages
Quantcast