Re: V

On May 31, 5:54 pm, Rupert <rupertmccal...@xxxxxxxxx> wrote:
On Jun 1, 4:52 am, zuhair <zaljo...@xxxxxxxxx> wrote:





On May 31, 12:20 am, Rupert <rupertmccal...@xxxxxxxxx> wrote:

On May 31, 1:40 pm, zuhair <zaljo...@xxxxxxxxx> wrote:

On May 30, 10:22 pm, Rupert <rupertmccal...@xxxxxxxxx> wrote:

On May 31, 12:28 pm, zuhair <zaljo...@xxxxxxxxx> wrote:

On May 30, 9:06 pm, Rupert <rupertmccal...@xxxxxxxxx> wrote:

On May 30, 11:07 pm, zuhair <zaljo...@xxxxxxxxx> wrote:

On May 30, 12:43 am, Rupert <rupertmccal...@xxxxxxxxx> wrote:

On May 30, 6:13 am, zuhair <zaljo...@xxxxxxxxx> wrote:


I am claiming that oo-ML is equi-interpretable with ZF/ZFC+IC.

Personally I don't think that we can have an inaccessible ordinal in
ZF/ZFC+IC and not in oo-ML and vice a versa.

I'll have to have a look at your definition of the theory. I suspect
that there is an interpretation of your theory on which "There is an
inaccessible cardinal" comes out true, but I doubt that all the
Replacement axioms in unrestricted form come out true.


Of course all these become true.Since in every layer they are proved.
Take your time, you'll see what I mean.
Meanwhile I will work on the Omega-dimensional version of oo-ML, which
I think it would be equi-interpretable with
ZFC+ wIC.

By the way Is there a theory which prove the consistency of
ZFC+wIC.

Zuhair

.

Loading