Re: Implementable Set Theory and Consistency of ZFC

From: MoeBlee <jazzmobe@xxxxxxxxxxx>
Date: Mon, 22 Oct 2007 11:27:47 -0700

On Oct 22, 7:46 am, Han de Bruijn <Han.deBru...@xxxxxxxxxxxxxx> wrote:

a model of (ZFC - Infinity) is not a model
of ZFC(Infinity included).

It is not the case that for all M, if M is a model of ZFC-I then M is
not a model of ZFC.

If you are claiming that, for all M, if M is a model of ZFC-I then M
is not a model of ZFC, then you are incorrect.

MoeBlee

.

Follow-Ups:
- Re: Implementable Set Theory and Consistency of ZFC
  - From: Han de Bruijn

References:
- Re: Implementable Set Theory and Consistency of ZFC
  - From: Han de Bruijn
- Re: Implementable Set Theory and Consistency of ZFC
  - From: MoeBlee
- Re: Implementable Set Theory and Consistency of ZFC
  - From: Han de Bruijn
- Re: Implementable Set Theory and Consistency of ZFC
  - From: Jesse F. Hughes
- Re: Implementable Set Theory and Consistency of ZFC
  - From: Han de Bruijn
- Re: Implementable Set Theory and Consistency of ZFC
  - From: hagman
- Re: Implementable Set Theory and Consistency of ZFC
  - From: Han de Bruijn
- Re: Implementable Set Theory and Consistency of ZFC
  - From: Jesse F. Hughes
- Re: Implementable Set Theory and Consistency of ZFC
  - From: Han . deBruijn
- Re: Implementable Set Theory and Consistency of ZFC
  - From: Jesse F. Hughes
- Re: Implementable Set Theory and Consistency of ZFC
  - From: Han de Bruijn
- Re: Implementable Set Theory and Consistency of ZFC
  - From: Jesse F. Hughes
- Re: Implementable Set Theory and Consistency of ZFC
  - From: Han de Bruijn
- Re: Implementable Set Theory and Consistency of ZFC
  - From: Jesse F. Hughes
- Re: Implementable Set Theory and Consistency of ZFC
  - From: Han de Bruijn

Prev by Date: Re: Polynomial function
Next by Date: Re: Confirmation of Shannon's Mistake about Perfect Secrecy of One-time-pad
Previous by thread: Re: Implementable Set Theory and Consistency of ZFC
Next by thread: Re: Implementable Set Theory and Consistency of ZFC
Index(es):
- Date
- Thread

Relevant Pages

Re: Implementable Set Theory and Consistency of ZFC
... infinte domain, of ZFC-I, will that somehow contradict second ... are provably a model of ZFC without infinity. ... to second incompleteness? ...
(sci.math)
Re: Implementable Set Theory and Consistency of ZFC
... (since we have a model of ZFC-I and I is true in this model) ... from ZFC ... and thus contrary to second incompleteness? ... Infinity is not true in ...
(sci.math)
Re: Implementable Set Theory and Consistency of ZFC
... "take ANY model of ZFC, then this is a model of ZF - Infinity". ... argument form "Any model of ZFC is a model of ZFC-I" when I was ... stumble on a model of ZFC-I with an infinite domain but doing that ...
(sci.math)
Re: Implementable Set Theory and Consistency of ZFC
... "take ANY model of ZFC, then this is a model of ZF - Infinity". ... argument form "Any model of ZFC is a model of ZFC-I" when I was ... stumble on a model of ZFC-I with an infinite domain but doing that ...
(sci.math)
Re: Implementable Set Theory and Consistency of ZFC
... MoeBlee wrote: ... If you are claiming that, for all M, if M is a model of ZFC-I then M ... is not a model of ZFC, ...
(sci.math)